|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Navigator | |
---|---|
nl.cwi.sen1.gui.plugin |
Uses of Navigator in nl.cwi.sen1.gui.plugin |
---|
Constructors in nl.cwi.sen1.gui.plugin with parameters of type Navigator | |
---|---|
ModuleTree(Navigator modulebrowser,
ModuleTreeModel manager)
|
|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |