Graphics.UI.Gtk.Special.Ruler
data Ruler
class RulerClass o
castToRuler
toRuler
data MetricType
rulerRange
rulerLower
rulerUpper
rulerPosition
rulerMaxSize
rulerMetric