Changeset 8835

Timestamp:

2004-12-17T09:05:08+13:00 (19 years ago)

Author:

mdewsnip

Message:

Initial unfinished version of the PluginSuggestionPrompt.

File:

• trunk/gli/src/org/greenstone/gatherer/cdm/PluginManager.java (modified) (3 diffs)

trunk/gli/src/org/greenstone/gatherer/cdm/PluginManager.java

@@ -44 +44 @@
 import org.greenstone.gatherer.gui.GComboBox;
 import org.greenstone.gatherer.gui.GLIButton;
+import org.greenstone.gatherer.gui.ModalDialog;
 import org.greenstone.gatherer.gui.WarningDialog;
 import org.greenstone.gatherer.util.StaticStrings;
@@ -162 +163 @@
 
     // Generate a dialog 
-    String[] args = new String[2];
-    args[0] = file.getName();
-    args[1] = ((Plugin) suitable_plugins.get(0)).toString();
-    JOptionPane.showMessageDialog(Gatherer.g_man, Dictionary.get("CDM.PluginManager.SuggestedPluginList", args), Dictionary.get("CDM.PluginManager.SuggestedPluginListTitle"), JOptionPane.INFORMATION_MESSAGE);
+    new PluginSuggestionPrompt(file.getName(), suitable_plugins);
     }
 
@@ -1238 +1236 @@
     }
     }
+
+
+    private class PluginSuggestionPrompt
+    extends ModalDialog
+    {
+    private Dimension size = new Dimension(400, 150);
+
+    public PluginSuggestionPrompt(String filename, ArrayList suitable_plugins)
+    {
+        super(Gatherer.g_man, true);
+        setModal(true);
+        setSize(size);
+        Dictionary.setText(this, "CDM.PluginManager.SuggestedPluginListTitle");
+
+        String[] args = new String[1];
+        args[0] = filename;
+
+        JTextArea instructions_textarea = new JTextArea();
+        instructions_textarea.setCaretPosition(0);
+        instructions_textarea.setEditable(false);
+        instructions_textarea.setLineWrap(true);
+        instructions_textarea.setRows(5);
+        instructions_textarea.setWrapStyleWord(true);
+        Dictionary.setText(instructions_textarea, "CDM.PluginManager.Plugin_Suggestion_Prompt", args);
+
+        JLabel suitable_plugins_label = new JLabel();
+        Dictionary.registerText(suitable_plugins_label, "CDM.PlugInManager.PlugIn");
+        suitable_plugins_label.setBorder(BorderFactory.createEmptyBorder(0,0,5,0));
+
+        GComboBox suitable_plugins_combobox = new GComboBox(suitable_plugins);
+        suitable_plugins_combobox.setBackgroundNonSelectionColor(Configuration.getColor("coloring.editable_background", false));
+        suitable_plugins_combobox.setBackgroundSelectionColor(Configuration.getColor("coloring.collection_selection_background", false));
+        suitable_plugins_combobox.setTextNonSelectionColor(Configuration.getColor("coloring.workspace_tree_foreground", false));
+        suitable_plugins_combobox.setTextSelectionColor(Configuration.getColor("coloring.collection_selection_foreground", false));
+
+        JPanel suitable_plugins_pane = new JPanel();
+        suitable_plugins_pane.setBorder(BorderFactory.createEmptyBorder(5,0,5,0));
+        suitable_plugins_pane.setLayout(new BorderLayout(5,0));
+        suitable_plugins_pane.add(suitable_plugins_label, BorderLayout.WEST);
+        suitable_plugins_pane.add(suitable_plugins_combobox, BorderLayout.CENTER);
+
+        JPanel content_pane = (JPanel) getContentPane();
+        content_pane.setBorder(BorderFactory.createEmptyBorder(5,5,5,5));
+        content_pane.setLayout(new BorderLayout());
+        content_pane.add(instructions_textarea, BorderLayout.NORTH);
+        content_pane.add(suitable_plugins_pane, BorderLayout.SOUTH);
+
+        // Show
+        Dimension screen_size = Configuration.screen_size;
+        setLocation((screen_size.width - size.width) / 2, (screen_size.height - size.height) / 2);
+        setVisible(true);
+    }
+    }
+
+
     /** Creates a list separator.
      * Found on Google Groups. Code courtesy of Paul Farwell.