|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objecthelp.HelpTree
public class HelpTree
Provides a tree-view of the titles of the help-pages.
| Field Summary | |
|---|---|
static int |
COMPLETE_VIEW
Show the whole available help. |
static int |
EVALEDITOR_VIEW
Show a EvalEditor-specific help. |
static int |
EVALPLAYER_VIEW
Show a EvalPlayer-specific help. |
static int |
GENEDITOR_VIEW
Show a GenEditor-specific help. |
static int |
WORKEDITOR_VIEW
Show a WorkEditor-specific help. |
| Constructor Summary | |
|---|---|
HelpTree(javax.swing.JEditorPane editorPane)
Creates a new Help-Tree in respect to setView(int) specified view. |
|
| Method Summary | |
|---|---|
void |
back()
Go one step backward in the documentation |
boolean |
canRedo()
Tests if a forward-step (redo) is possible |
boolean |
canUndo()
Tests if a backward-step (undo) is possible |
void |
forward()
Go one step forward in the documentation |
javax.swing.JPanel |
getPanel()
Returns a panel that contains the Tree. |
void |
redo()
Go in history one step forward. |
static void |
setView(int id)
Sets the display-mode of the help-system. |
void |
undo()
Go in history one step backward. |
void |
valueChanged(javax.swing.event.TreeSelectionEvent e)
|
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final int COMPLETE_VIEW
public static final int GENEDITOR_VIEW
public static final int WORKEDITOR_VIEW
public static final int EVALEDITOR_VIEW
public static final int EVALPLAYER_VIEW
| Constructor Detail |
|---|
public HelpTree(javax.swing.JEditorPane editorPane)
setView(int) specified view.
editorPane - The EditorPane for the to displayed content.setView(int)| Method Detail |
|---|
public void valueChanged(javax.swing.event.TreeSelectionEvent e)
valueChanged in interface javax.swing.event.TreeSelectionListenerpublic javax.swing.JPanel getPanel()
public boolean canUndo()
public boolean canRedo()
public void undo()
public void redo()
public void back()
public void forward()
public static void setView(int id)
id - The ID for the VIEW.COMPLETE_VIEW,
GENEDITOR_VIEW,
WORKEDITOR_VIEW,
EVALEDITOR_VIEW,
EVALPLAYER_VIEW
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||