multivalent.std.ui
Class History
java.lang.Object
multivalent.VObject
multivalent.Behavior
multivalent.std.ui.History
- public class History
- extends Behavior
Saves last 1000 pages seen.
Upon startup, reads list of from disk and salts cache's pages-seen list.
On shutdown, saves list, truncating if necessary.
During operation, records URL, title, time last seen.
On "history:" URL, displays list, grouped by host URL, sorted most recent to least recent.
Example of how to fault in outline sections on demand.
- Version:
- $Revision: 1.8 $ $Date: 2005/01/01 13:28:44 $
- See Also:
OutlineSpan
,
ManualPage
Field Summary |
static java.lang.String |
FILENAME
|
Methods inherited from class multivalent.Behavior |
buildAfter, buildBefore, checkRep, clipboardAfter, clipboardBefore, createUI, destroy, eventAfter, eventBefore, formatAfter, formatBefore, getBrowser, getDocument, getInstance, getInstance, getLayer, getLogger, getName, getPreference, getRoot, isEditable, paintAfter, paintBefore, putPreference, redo, restore, restoreChildren, save, setName, toString, undo |
Methods inherited from class multivalent.VObject |
attrEntrySetIterator, attrKeysIterator, clearAttributes, getAttr, getAttr, getAttributes, getGlobal, getValue, hasAttributes, putAttr, removeAttr, setAttributes |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
FILENAME
public static final java.lang.String FILENAME
- See Also:
- Constant Field Values
History
public History()
semanticEventBefore
public boolean semanticEventBefore(SemanticEvent se,
java.lang.String msg)
- Write out history at "EXIT", "exitBrowserInstance', and every so many
Document.MSG_CLOSE
s.
- Overrides:
semanticEventBefore
in class Behavior
semanticEventAfter
public boolean semanticEventAfter(SemanticEvent se,
java.lang.String msg)
- On "openDocument history:", dynamically generate history page.
On "openedDocument DocInfo, add/update record for that URL.
- Overrides:
semanticEventAfter
in class Behavior
readHistory
public void readHistory()
- Read history tuples from USER directory: URL, encoded title, date last read.
Also salts cache's pages-seen list.
writeHistory
public void writeHistory()
- Write tuples to disk.
fault
public Node fault(int id,
Span span,
INode replace)