Class JaxoPluginManagerPanel
java.lang.Object
net.sf.jaxodraw.gui.panel.JaxoPluginManagerPanel
- All Implemented Interfaces:
EventListener, ListSelectionListener, JaxoLocalized
Brings up a panel that allows to manipulate installed plugins.
-
Constructor Summary
ConstructorsConstructorDescriptionJaxoPluginManagerPanel(Component parent) Creates a new JaxoPluginManagerPanel dialog which is always modal. -
Method Summary
Modifier and TypeMethodDescriptionvoidsetVisible(boolean b) Activates the Plagin Manager Panel.voidUpdates the component with the current language as set in the preferences (JaxoPrefs.PREF_LANGUAGE).final void
-
Constructor Details
-
JaxoPluginManagerPanel
Creates a new JaxoPluginManagerPanel dialog which is always modal.- Parameters:
parent- the parent Component.
-
-
Method Details
-
setVisible
public void setVisible(boolean b) Activates the Plagin Manager Panel.- Parameters:
b- true to activate.
-
valueChanged
- Specified by:
valueChangedin interfaceListSelectionListener
-
updateLanguage
public void updateLanguage()Updates the component with the current language as set in the preferences (JaxoPrefs.PREF_LANGUAGE).- Specified by:
updateLanguagein interfaceJaxoLocalized
-