Changeset 116 for trunk/src/org/expeditee/gui/Frame.java

Timestamp:

07/02/08 17:26:51 (16 years ago)

Author:

ra33

Message:

Added SearchItem and SearchStr

File:

• trunk/src/org/expeditee/gui/Frame.java (modified) (4 diffs)

trunk/src/org/expeditee/gui/Frame.java

@@ -750 +750 @@
         public void undo() {
                 Item undo = null;
+                boolean bReparse = false;
 
                 if (_undo.size() <= 0)
@@ -755 +756 @@
 
                 undo = _undo.pop();
-
+                
                 // if the change was to characteristics
                 if (undo.isVisible() && _body.contains(undo)) {
@@ -786 +787 @@
 
                         for (Item i : toRestore) {
+                                bReparse |= i.hasOverlay();
                                 if (i instanceof Line) {
                                         Line line = (Line) i;
@@ -798 +800 @@
                 change();
                 FrameMouseActions.getInstance().refreshHighlights();
+                if(bReparse)
+                        FrameUtils.Parse(this, false);
                 FrameGraphics.Repaint();
                 ItemUtils.EnclosedCheck(_body);