File tag/ScrollView

class tag.ScrollView

Inherits

State supers

View

instance tag.ScrollView

variables

public ClipView content_view;

Our content view, usually a ClipView.

public mutable Scroller scroller_h;

Our horizontal scroller, if we have one.

public mutable Scroller scroller_v;

Our vertical scroller, if we have one.

public mutable int border_type;

The kind of border drawn around this view.

boolean needs_tile;

methods

id
  initFrame (float, float, float, float) (x, y, w, h);

Designated initializer.

void
  descendantFrameChanged View descendant;

Do not pass to our superview; do invoke tile.

void
  drawSelf (float, float, float, float) (x, y, w, h);

Undocumented.

void
  sizeTo (float, float) (x, y);

Invoke tile after the resize.

void
  resizeSubviews (float, float) (old_w, old_h);

Invoke tile.

void
  set_content_view ClipView view;

Set the content_view, which usually is a ClipView. It will be added as a subview, and resized to fit the document region of the receiving ScrollView.

void
  set_document_view View view;

Set the document view, which will actually become the document view of the content_view ClipView.

void
  set_horizontal_scroller_required boolean yes_p;

If yes_p this ScrollView will have a horizontal scroller. Otherwise, it will not.

void
  set_vertical_scroller_required boolean yes_p;

If yes_p this ScrollView will have a vertical scroller. Otherwise, it will not.

Positioning

private (boolean, double) (changed, new_pos)
  getNewPos Scroller scroller;

Get a new position from the scroller.

void
  getHorizontalFrom Scroller sender;

Be informed by the horizontal scroller of a change in horizontal position.

void
  getVerticalFrom Scroller sender;

Be informed by the vertical scroller of the new vertical position.

void
  tile;

Update the frames of the content_view, its document_view, and the scrollers.

protected void
  syncScrollers;

Update the percentage and position of the scrollers, according to the dimensions and position of the document_view and content_view.

void
  encodeUsingCoder tom.Encoder coder;

Archiving

void
  initWithCoder tom.Decoder coder;

Undocumented.