Changeset 162 for trunk/src/org/expeditee/gui/DisplayIO.java

Timestamp:

07/28/08 15:08:13 (16 years ago)

Author:

ra33

Message:

Added faster versions of search frameset

File:

• trunk/src/org/expeditee/gui/DisplayIO.java (modified) (2 diffs)

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

@@ -62 +62 @@
          * The title to display in the Title bar.
          */
-        public static final String TITLE = "Exp22Jul2008A";
+        public static final String TITLE = "Exp28Jul2008A";
 
         private DisplayIO() {
@@ -605 +605 @@
                 Frame frame = FrameIO.LoadFrame(_VisitedFrames[side].pop());
                 // If the top frame on the backup stack is the current frame go back
-                // again...
-                if (frame.equals(getCurrentFrame())) {
+                // again... or if it has been deleted
+                //Recursively backup the stack
+                if(frame == null || frame.equals(getCurrentFrame())) {
                         Back();
                         return;