Changeset 814

Timestamp:

02/03/14 16:02:35 (10 years ago)

Author:

jts21

Message:

Automatically reposition anchored items when resizing them, and when F12 (refresh) is pressed if shift is down

File:

• trunk/src/org/expeditee/gui/FrameKeyboardActions.java (modified) (5 diffs)

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

@@ -1534 +1534 @@
                 return newItemText;
         }
+        
+        private static boolean refreshAnchors(Collection<Item> items) {
+                boolean bReparse = false;
+                
+                for(Item i : items) {
+                        Float anchorLeft   = i.getAnchorLeft();
+                        Float anchorRight  = i.getAnchorRight();
+                        Float anchorTop    = i.getAnchorTop();
+                        Float anchorBottom = i.getAnchorBottom();
+        
+                        
+                        if (anchorLeft != null) {
+                                i.setAnchorLeft(anchorLeft);
+                                if (i.hasVector()) {
+                                        bReparse = true;
+                                }
+                        }
+                        
+                        if (anchorRight != null) {
+                                i.setAnchorRight(anchorRight);
+                                if (i.hasVector()) {
+                                        bReparse = true;
+                                }
+                        }
+                        
+                        if (anchorTop != null) {
+                                i.setAnchorTop(anchorTop);
+                                if (i.hasVector()) {
+                                        bReparse = true;
+                                }
+                        }
+                        
+                        if (anchorBottom != null) {
+                                i.setAnchorBottom(anchorBottom);
+                                if (i.hasVector()) {
+                                        bReparse = true;
+                                }
+                        }
+                }
+                return bReparse;
+        }
 
         /**
@@ -1568 +1609 @@
                                 // scale the entire frame
                                 ScaleFrameset.scaleFrame(DisplayIO.getCurrentFrame(), (float) (diff > 0 ? 1.1 : 0.909090909));
+                                DisplayIO.getCurrentFrame().refreshSize();
                                 FrameKeyboardActions.Refresh();
                                 // MessageBay.displayMessage("Can not resize the frame name");
@@ -1695 +1737 @@
                                 }
                         }
+                        // refresh anchored items
+                if(refreshAnchors(toSize)) {
+                        FrameUtils.Parse(DisplayIO.getCurrentFrame(), false);
+                }
                         // notify widgets they were resized
                         for(InteractiveWidget iw : widgets) {
@@ -1755 +1801 @@
                 if (toSet != null)
                         toSet.getParent().setChanged(true);
+                
+                // refresh anchored items
+                if(refreshAnchors(toSize)) {
+                        FrameUtils.Parse(DisplayIO.getCurrentFrame(), false);
+                }
 
                 // notify widgets they were resized
@@ -2161 +2212 @@
         public static void Refresh() {
                 Frame currentFrame = DisplayIO.getCurrentFrame();
+                
+                if(FrameMouseActions.isShiftDown()) {
+                        currentFrame.refreshSize();
+                }
 
                 // Refresh widgets that use its self as a data source