de.jreality.plugin.basic
Class PropertiesMenu
java.lang.Object
Plugin
de.jreality.plugin.basic.PropertiesMenu
public class PropertiesMenu
- extends Plugin
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PropertiesMenu
public PropertiesMenu()
install
public void install(Controller c)
throws java.lang.Exception
- Throws:
java.lang.Exception
uninstall
public void uninstall(Controller c)
throws java.lang.Exception
- Throws:
java.lang.Exception
getPluginInfo
public PluginInfo getPluginInfo()
setPropertiesListener
public void setPropertiesListener(PropertiesListener l)
loadPreferences
public boolean loadPreferences(java.io.Reader r)