public class NumberSpinnerGUI extends PythonGUIPlugin<Number>
Constructor and Description |
---|
NumberSpinnerGUI() |
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()