de.jreality.plugin.basic
Class PropertiesMenu
java.lang.Object
Plugin
de.jreality.plugin.basic.PropertiesMenu
public class PropertiesMenu
- extends Plugin
PropertiesMenu
public PropertiesMenu()
install
public void install(Controller c)
throws Exception
- Throws:
Exception
uninstall
public void uninstall(Controller c)
throws Exception
- Throws:
Exception
getPluginInfo
public PluginInfo getPluginInfo()
setPropertiesListener
public void setPropertiesListener(PropertiesListener l)
loadPreferences
public boolean loadPreferences(Reader r)