|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |
nl.cwi.* |
---|
nl.cwi.sen1.gui.plugin.EditorPlugin | ||
---|---|---|
private static final java.lang.String |
TOOL_NAME |
"editor-plugin" |
nl.cwi.sen1.gui.plugin.editor.BaseDialog | ||
---|---|---|
public static final int |
CANCEL |
0 |
public static final int |
OK |
1 |
nl.cwi.sen1.gui.plugin.editor.EditorKit | ||
---|---|---|
public static final java.lang.String |
deleteLineAction |
"delete-line" |
public static final java.lang.String |
deleteNextWordAction |
"delete-next-word" |
public static final java.lang.String |
deletePreviousWordAction |
"delete-previous-word" |
public static final java.lang.String |
findAction |
"find" |
public static final java.lang.String |
gotoLineAction |
"goto-line" |
public static final java.lang.String |
gotoMatchingBracketAction |
"goto-matching-bracket" |
public static final java.lang.String |
redoAction |
"redo" |
public static final java.lang.String |
selectFocusAction |
"select-focus" |
private final int |
UNDO_LIMIT |
1000 |
public static final java.lang.String |
undoAction |
"undo" |
nl.cwi.sen1.gui.plugin.editor.StyleRegistrar | ||
---|---|---|
private static final java.lang.String |
FOCUS_STYLE_NAME |
"***focus***" |
private static final java.lang.String |
SELECTION_STYLE_NAME |
"***selection***" |
|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |