Source position: gtkruler.inc line 30
type TGtkRuler = record |
widget: TGtkWidget; |
backing_store: PGdkPixmap; |
non_gr_exp_gc: PGdkGC; |
metric: PGtkRulerMetric; |
xsrc: gint; |
ysrc: gint; |
slider_size: gint; |
lower: gdouble; |
upper: gdouble; |
position: gdouble; |
max_size: gdouble; |
end; |