Description
This widget represents a widget that can be dragged by the user to change
the visible area of another widget. It is typically only used through a
Gtk.Scrolled_Window, although you might need, from time to time, to use it
directly if the widget you want to scroll isn't entirely suitable for a
scrolled window.
For instance, if you are creating your own drawing area, unlimited in size,
you do not want to create a Gtk_Drawing_Area 100_000 pixels large, since
that would use too much memory. Instead, you create one with just the
size of the visible area on the screen, then connect it with a scrollbar so
that when the user moves the scrollbar, you change what should be displayed
in the drawing area.
Types
-
type Gtk_Hscrollbar is Gtk_Scrollbar;
-
type Gtk_Hscrollbar_Record is Gtk_Scrollbar_Record;
-
type Gtk_Scrollbar is access all Gtk_Scrollbar_Record'Class;
-
-
type Gtk_Vscrollbar is Gtk_Scrollbar;
-
type Gtk_Vscrollbar_Record is Gtk_Scrollbar_Record;