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

Constructor Summary

Constructors

Constructor and Description
PropertyPreferences()

Method Summary

Modifier and Type	Method and Description
Icon	getMainIcon()
String	getMainName()
JPanel	getMainPage()
int	getNumSubPages()
PluginInfo	getPluginInfo()
JPanel	getSubPage(int i)
Icon	getSubPageIcon(int i)
String	getSubPageName(int i)
void	install(Controller controller)
void	setPropertiesListener(PropertiesListener l)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PropertyPreferences

public PropertyPreferences()

Method Detail

install

public void install(Controller controller)
             throws Exception

Throws:

Exception

getPluginInfo

public PluginInfo getPluginInfo()

setPropertiesListener

public void setPropertiesListener(PropertiesListener l)

getMainIcon

public Icon getMainIcon()

getMainName

public String getMainName()

getMainPage

public JPanel getMainPage()

getNumSubPages

public int getNumSubPages()

getSubPage

public JPanel getSubPage(int i)

getSubPageIcon

public Icon getSubPageIcon(int i)

getSubPageName

public String getSubPageName(int i)