|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TideToolFactory | |
---|---|
nl.cwi.sen1.tide.tool | |
nl.cwi.sen1.tide.tool.prefeditor |
Uses of TideToolFactory in nl.cwi.sen1.tide.tool |
---|
Fields in nl.cwi.sen1.tide.tool with type parameters of type TideToolFactory | |
---|---|
private java.util.Map<java.lang.String,TideToolFactory> |
ToolManager.tideTools
|
Methods in nl.cwi.sen1.tide.tool with parameters of type TideToolFactory | |
---|---|
void |
ToolManager.registerTool(TideToolFactory factory)
|
Uses of TideToolFactory in nl.cwi.sen1.tide.tool.prefeditor |
---|
Classes in nl.cwi.sen1.tide.tool.prefeditor that implement TideToolFactory | |
---|---|
class |
PreferencesEditorFactory
|
|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |