Changeset 13052

Timestamp:

2006-10-09T10:45:27+13:00 (18 years ago)

Author:

shaoqun

Message:

make the redo button enabled properly

File:

• trunk/gli/src/org/greenstone/gatherer/cdm/FormatManager.java (modified) (2 diffs)

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

@@ -989 +989 @@
 
         public void actionPerformed(ActionEvent event)
-        {
+        {   
                 try {
                     if (undo.canUndo()) {
-                        int pos = editor_textarea.getCaretPosition();
+               int pos = editor_textarea.getCaretPosition();
+                redo_button.setEnabled(true); 
                         undo.undo();
-            editor_textarea.setCaretPosition(pos);
-                        redo_button.setEnabled(true); 
-
-                    }
+            if (pos > 0)
+                editor_textarea.setCaretPosition(pos-1);
+            else
+                editor_textarea.setCaretPosition(pos);
+            }
                     if (!undo.canUndo()){
             undo_button.setEnabled(false);
@@ -1006 +1008 @@
 
                 } catch (Exception e) {
-                }           
+           
+        }           
         }
     }