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()