Toc Gallery Index Tree Gtk.Scrollbar

Hierarchy

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_Scrollbar_Record is new Gtk.GRange.Gtk_Range_Record with private;
  • type Gtk_Vscrollbar is Gtk_Scrollbar;
  • type Gtk_Vscrollbar_Record is Gtk_Scrollbar_Record;

Subprograms

Style Properties

  • Fixed_Slider_Length_Property
    Boolean
    Don't change slider size, just lock it to the minimum length
  • Has_Backward_Stepper_Property
    Boolean
    Display the standard backward arrow button
  • Has_Forward_Stepper_Property
    Boolean
    Display the standard forward arrow button
  • Has_Secondary_Backward_Stepper_Property
    Boolean
    Display a second backward arrow button on the opposite end of the
  • Has_Secondary_Forward_Stepper_Property
    Boolean
    Display a secondary forward arrow button on the opposite end of
  • Min_Slider_Length_Property
    Int
    Minimum length of scrollbar slider

Alphabetical Index