de.jreality.plugin.basic
Class PropertyPreferences
java.lang.Object
Plugin
de.jreality.plugin.basic.PropertyPreferences
public class PropertyPreferences
- extends Plugin
This plugin provides access to the user preferences that control saving and loading of plugin properties.
- Author:
- G. Paul Peters, Mar 10, 2010
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PropertyPreferences
public PropertyPreferences()
install
public void install(Controller controller)
throws java.lang.Exception
- Throws:
java.lang.Exception
getPluginInfo
public PluginInfo getPluginInfo()
setPropertiesListener
public void setPropertiesListener(PropertiesListener l)
getMainIcon
public javax.swing.Icon getMainIcon()
getMainName
public java.lang.String getMainName()
getMainPage
public javax.swing.JPanel getMainPage()
getNumSubPages
public int getNumSubPages()
getSubPage
public javax.swing.JPanel getSubPage(int i)
getSubPageIcon
public javax.swing.Icon getSubPageIcon(int i)
getSubPageName
public java.lang.String getSubPageName(int i)