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