HistoryGui

Description

The gui elements in detail:

button start

stops and starts History if gui.history is current.

popUp sameDoc/newDoc

switches whether the postDoc method posts to old post-doc window or new.

button closeAll

closes all documents called "History repeats".

button closeOld

closes only those created from this gui, except the latest.

button X/-

turns filtering on/off.

popup \all

selects which key to search for (only useful if networked)

textview

allows for typing in search string.

listview

shows either all lineShorts, or the filtered lineShorts; selecting them in listview makes them come appear in post-doc window.

Class Methods

Inherited class methods

Undocumented class methods

*docHeight

*docHeight = value

*docTitle

*docTitle = value

*new (history, where, numTextLines: 12)

*w

Instance Methods

Inherited instance methods

Undocumented instance methods

-alignDoc

-doc

-docFlag

-filTextV

-filtBut

-filterLines

-filterOff

-filterOn

-filteredIndices

-filteredShorts

-filtering

-filtering = flag: true

-filters

-findDoc

-history

-keyPop

-oldDocs

-postDoc (index)

-postInlined (index)

-rip

-setKeyFilter (key)

-setStrFilter (str)

-startBut

-stickMode

-stickMode = value

-textV

-topBut

-w

Examples

(
h = History.new.lines_([
    [0, \me, "1+2"],
    [1, \me, "3+5"], [1.234, \you, "q = q ? ();"],
    [3, \her, "\"Herstory\".speak"]
]);
g = h.makeWin;
g.findDoc;
g.postDoc(2);
)

h.document;
// how filtering works:
g.filters.postcs;
g.filterOff;
g.filterOn;
g.filtering;
g.setKeyFilter(\all);
g.setKeyFilter(\me);
g.setStrFilter("");
g.setStrFilter("3");

// internal state cached in gui:
g.filteredIndices;
g.filteredShorts;

// to do: execute line on special key in listview;
// window following?