public final class ViewNotifier
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
int |
hist
History pointer.
|
static int |
MAXHIST
Maximum history size.
|
| Constructor and Description |
|---|
ViewNotifier(GUI main)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
void |
context(Nodes nodes,
boolean quick,
View vw)
Notifies all views of a context change.
|
void |
focus(int pre,
View vw)
Notifies all views of a focus change.
|
void |
hist(boolean forward)
Moves around in the internal history and notifies all views of a context change.
|
void |
init()
Notifies all views of a data reference change.
|
void |
layout()
Notifies all views of layout changes.
|
void |
mark(int mode,
View vw)
Notifies all views of a selection change.
|
void |
mark(Nodes mark,
View vw)
Notifies all views of a selection change.
|
java.lang.String |
tooltip(boolean back)
Returns the last or next query string.
|
void |
update()
Notifies all views of updates in the data structure.
|
public static final int MAXHIST
public int hist
public ViewNotifier(GUI main)
main - reference to the main windowpublic void init()
public void focus(int pre,
View vw)
pre - focused pre valuevw - the calling viewpublic void mark(Nodes mark, View vw)
mark - marked nodesvw - the calling viewpublic void mark(int mode,
View vw)
mode - mark modevw - the calling viewpublic void hist(boolean forward)
forward - move forward or backwardpublic void context(Nodes nodes, boolean quick, View vw)
nodes - new context setquick - quick switchvw - the calling viewpublic void update()
public void layout()
public java.lang.String tooltip(boolean back)
back - back/forward flag