Package | Description |
---|---|
de.jreality.plugin.scripting |
Modifier and Type | Method and Description |
---|---|
PythonScriptTool |
PythonToolsManager.getSelectedTool() |
Modifier and Type | Method and Description |
---|---|
void |
PythonToolsManager.installTool(PythonScriptTool tool) |
void |
PythonToolsManager.selectTool(PythonScriptTool tool) |
void |
PythonGUIManager.setTool(PythonScriptTool tool,
Controller c) |
void |
PythonToolsManager.uninstallTool(PythonScriptTool tool) |
void |
PythonToolsManager.updateTool(PythonScriptTool tool) |
Constructor and Description |
---|
PythonGUIShrinker(PythonScriptTool tool) |