Scroll

---

Object Hierarchy:

Description:

Content:

Properties:

• public ScrollDirection direction { construct; get; }
  Gets the direction of the scrollbar.
• public int max_preferred_width { set; get; }
  Gets and sets the maximum preferred width for the scroll area.
• public int max_preferred_height { set; get; }
  Gets and sets the maximum preferred height for the scroll area.
• public ScrollbarVisibility scrollbar_visible { set; get; }
  Gets and sets the visibility of the scrollbar.
• public int scroll_amount { set; get; }
  Gets and sets the default scroll distance in pixels used by scroll_forward and scroll_backward.

Creation methods:

• public Scroll.horizontal ()
  Creates a new scroll area that scrolls horizontally.
• public Scroll.vertical ()
  Creates a new scroll area that scrolls vertically.

Methods:

• public void scroll_forward (int amount = scroll_amount)
  Scroll forward (down or right) by the specified amount.
• public void scroll_backward (int amount = scroll_amount)
  Scroll backwards (up or left) by the specified amount.
• public void scroll_to_child (Widget child)
  Ensure that a child widget is visible.
• protected override int get_preferred_width ()
  Gets the preferred width of the widget.
• protected override int get_preferred_height ()
  Gets the preferred height of the widget.
• protected override int get_preferred_width_for_height (int height)
  Gets the preferred width of the widget for the specified height.
• protected override int get_preferred_height_for_width (int width)
  Gets the preferred height of the widget for the specified width.
• protected override void do_layout ()
  Implementations should override this method if they need to handle laying out its contents.
• protected override void draw_content ()
  Implementations should override this method.

Inherited Members: