Changeset 5222

Timestamp:

2003-08-20T09:29:53+12:00 (21 years ago)

Author:

mdewsnip

Message:

Fixed up some bad indenting.

File:

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

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

@@ -711 +711 @@
     }
     /** Method which acts like a destructor, tidying up references to persistant objects.
-            */
+     */
     public void destroy() {
     }
@@ -879 +879 @@
     private class MoveListener
         implements ActionListener {
-                /** Any implementation of <i>ActionListener</i> must include this method so that we can be informed when an action has occured on one of our target controls.
-                 * @param event An <strong>ActionEvent</strong> containing information garnered from the control action.
-                 */
+        /** Any implementation of <i>ActionListener</i> must include this method so that we can be informed when an action has occured on one of our target controls.
+         * @param event An <strong>ActionEvent</strong> containing information garnered from the control action.
+         */
         public void actionPerformed(ActionEvent event) {
-        if(!plugin_list.isSelectionEmpty()) {
+        if (!plugin_list.isSelectionEmpty()) {
             Object object = plugin_list.getSelectedValue();
-            if(object instanceof PlugIn) {
+            if (object instanceof PlugIn) {
             PlugIn plugin = (PlugIn) object;
-            if(event.getSource() == move_top_button) {
+            if (event.getSource() == move_top_button) {
                 movePlugIn(plugin, true, true);
             }
-            else if(event.getSource() == move_up_button) {
+            else if (event.getSource() == move_up_button) {
                 movePlugIn(plugin, true, false);
             }
-            else if(event.getSource() == move_down_button) {
+            else if (event.getSource() == move_down_button) {
                 movePlugIn(plugin, false, false);
             }
-            else {
+            else if (event.getSource() == move_bottom_button) {
                 movePlugIn(plugin, false, true);
             }
@@ -905 +905 @@
     }
     /** This class listens for actions upon the remove button in the controls, and if detected calls the <i>removePlugIn()</i> method.
-            */
+     */
     private class RemoveListener
         implements ActionListener {