java.lang.Object
java.awt.Component
java.awt.Container
java.awt.Window
java.awt.Dialog
javax.swing.JDialog
de.ipk_gatersleben.ag_nw.graffiti.plugins.gui.plugin_settings.PreferencesDialog
All Implemented Interfaces:
ImageObserver, MenuContainer, Serializable, Accessible, RootPaneContainer, WindowConstants, PluginManagerListener

public class PreferencesDialog
extends JDialog
implements PluginManagerListener
See Also:
Serialized Form
  • Field Details

    • activeStartLayoutButton

      public static JButton activeStartLayoutButton
    • optionsForPlugin

      public ThreadSafeOptions optionsForPlugin
  • Constructor Details

    • PreferencesDialog

      public PreferencesDialog()
  • Method Details

    • initializeGUIforGivenContainer

      public void initializeGUIforGivenContainer​(Container cp, JDialog thisDialog, boolean vertical, boolean showCloseButton, boolean showAlgorithms, boolean showSettings, boolean showInteractiveAlgorithms, boolean showScripts, boolean showOnlyLayoutAlgorithms, Graph graph, Selection selection, HandlesAlgorithmData setAlgorithmDataObject, boolean executeMoveToTopAfterwards)
      Parameters:
      cp -
      selection -
      graph -
      setAlgorithmDataObject -
    • updateSettingsPanel

      public void updateSettingsPanel​(JDialog thisDialog, Graph graph, Selection selection, HandlesAlgorithmData setAlgorithmDataObject, boolean executeMoveToTopAfterwards)
    • initAlgorithmPreferencesPanel

      public void initAlgorithmPreferencesPanel​(JDialog thisDialog, Algorithm alg, Graph graph, Selection sele, HandlesAlgorithmData setAlgorithmDataObject, boolean executeMoveToTopAfterwards)
    • getTitle

      public String getTitle()
      Overrides:
      getTitle in class Dialog
    • pluginAdded

      public void pluginAdded​(GenericPlugin plugin, PluginDescription desc)
      Description copied from interface: PluginManagerListener
      Called by the plugin manager, iff a plugin has been added.
      Specified by:
      pluginAdded in interface PluginManagerListener
      Parameters:
      plugin - the added plugin.
      desc - the description of the new plugin.