Changeset 4572

Timestamp:

2003-06-11T15:50:04+12:00 (21 years ago)

Author:

kjdon

Message:

checklist is now a single click list

File:

• trunk/gli/src/org/greenstone/gatherer/checklist/CheckList.java (modified) (3 diffs)

trunk/gli/src/org/greenstone/gatherer/checklist/CheckList.java

@@ -219 +219 @@
     private class CheckListListener 
     extends MouseAdapter {
-    private Entry previous_checkbox = null;
+    //private Entry previous_checkbox = null;
     /** Called whenever the mouse is clicked over our list. We find the nearest checkbox and change its state.
      * @param e A <strong>MouseEvent</strong> containing everything you ever wanted to know about the mouse event but were afraid to ask.
@@ -227 +227 @@
         int index = list.locationToIndex(e.getPoint());
         Entry checkbox = (Entry)list.getModel().getElementAt(index);
-                // If this is the same checkbox as was recently selected, change the tick.
-        if(list.isSelectedIndex(index) && checkbox == previous_checkbox) {
+        // If this is the same checkbox as was recently selected, change the tick.
+        if (list.isSelectedIndex(index)) {
         if(!checkbox.isFixed()) {
             checkbox.setSelected(!checkbox.isSelected());
@@ -234 +234 @@
         checkbox.grabFocus();
         }
-                // Otherwise the selection has just changed, so select the new checkbox
-        else if(list.isSelectedIndex(index)) {
-        previous_checkbox = checkbox;
-        }
-        else {
-        previous_checkbox = null;
-        }
+        /*
+          if(list.isSelectedIndex(index) && checkbox == previous_checkbox) {
+          if(!checkbox.isFixed()) {
+          checkbox.setSelected(!checkbox.isSelected());
+          }
+          checkbox.grabFocus();
+          }
+          // Otherwise the selection has just changed, so select the new checkbox
+          else if(list.isSelectedIndex(index)) {
+          previous_checkbox = checkbox;
+          }
+          else {
+          previous_checkbox = null;
+          }
+        */
     }
     }