ScrolledView

Object Hierarchy:

Description:

  var scroll = new OLLMchatGtk.ScrolledView();
  scroll.max_height = half_chat;
  scroll.set_child(text_view); // auto-sizes on buffer.changed

Content:

Properties:

• public int content_height { get; set; }
  Viewport height we report and allocate (pixels). For a TextView child this is driven from buffer.changed.
• public Adjustment hadjustment { get; }
  Shared with scrollable child (horizontal — usually unused).
• public Widget? line_peer { get; set; }
  When set, empty / one visual line height matches this widget's natural height (composer play button). Multi-line uses yrange.
• public int max_height { get; set; }
  Cap for TextView auto-height; 0 = uncapped.
• public Adjustment vadjustment { get; }
  Shared with scrollable child; drives classic scrollbar.

Creation methods:

• public ScrolledView ()

Methods:

• public override void dispose ()
• public override void measure (Orientation orientation, int for_size, out int minimum, out int natural, out int minimum_baseline, out int natural_baseline)
• public void queue_fit ()
  Schedule buffer_change on Idle (e.g. after expand when mapped).
• public void set_child (Widget? child)
  Set or replace the scrollable (or plain) child.
• public override void size_allocate (int width, int height, int baseline)

Signals:

• public signal void lines_changed (int lines)
  After TextView yrange fit: content_height updated. lines: 0 empty, 1 one visual line (yrange ≤ glyph row), 2 more than one. Height may still use line_peer when content fits the play-button row.

Inherited Members: