phenote.gui
Class SelectionHistory
java.lang.Object
phenote.gui.SelectionHistory
public class SelectionHistory
- extends java.lang.Object
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
isInitialized
public boolean isInitialized
SelectionHistory
public SelectionHistory()
inst
public static SelectionHistory inst()
reset
public static void reset()
getComponent
public javax.swing.JComponent getComponent()
showSwitch
public void showSwitch()
getText
java.lang.String getText()
setOboClass
void setOboClass(org.obo.datamodel.OBOClass term)