public class NumberSpinnerGUI extends PythonGUIPlugin<Number>
| Constructor and Description |
|---|
NumberSpinnerGUI() |
| Modifier and Type | Method and Description |
|---|---|
PythonGUI<Number> |
getGUI(long id) |
PluginInfo |
getPluginInfo() |
void |
setGUIId(long oldId,
long newId) |
public PythonGUI<Number> getGUI(long id)
getGUI in class PythonGUIPlugin<Number>public void setGUIId(long oldId,
long newId)
setGUIId in class PythonGUIPlugin<Number>public PluginInfo getPluginInfo()