|
The Meta-Environment API | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| nl.cwi.* |
|---|
| nl.cwi.sen1.gui.plugin.Navigator | ||
|---|---|---|
private static final java.lang.String |
TOOL_NAME |
"navigator" |
| nl.cwi.sen1.gui.plugin.data.Module | ||
|---|---|---|
public static final int |
STATE_NEW |
1 |
public static final int |
STATE_NORMAL |
0 |
|
The Meta-Environment API | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||