Changeset 1258 for trunk/src/org/expeditee/gio/gesture/StandardGestureActions.java

Timestamp:

03/18/19 18:38:32 (5 years ago)

Author:

davidb

Message:

Changed how DisplayController width, height and size are retrieved. Now does this top-level, rather than going through the AxisAlignmentBox. In doing so, can now control for when the window size has you yet been correctly mapped to the screen, and fall back to pre-defined MINIMUM defaults

File:

• trunk/src/org/expeditee/gio/gesture/StandardGestureActions.java (modified) (3 diffs)

trunk/src/org/expeditee/gio/gesture/StandardGestureActions.java

@@ -1370 +1370 @@
                                                         NumberFormat nf = Vector.getNumberFormatter();
                                                         linker.setText(linker.getText() + ": "
-                                                                        + nf.format((width / DisplayController.getFramePaintArea().getWidth())));
+                                                                        + nf.format((width / DisplayController.getFramePaintAreaWidth())));
                                                 } else {
                                                         linker.setText(linker.getText() + ": " + width);
@@ -2218 +2218 @@
                                 FrameUtils.Align(column, false, 0);
                                 // Check if it will be outside the frame area
-                                if (dummyItem.getY() < 0 || dummyItem.getY() > DisplayController.getFramePaintArea().getHeight()) {
+                                if (dummyItem.getY() < 0 || dummyItem.getY() > DisplayController.getFramePaintAreaHeight()) {
                                         // Check for the 'next' tag!
                                         Frame current = DisplayController.getCurrentFrame();
@@ -2278 +2278 @@
                         if (dummyItem.getText().length() == 0 || FreeItems.hasItemsAttachedToCursor()) {
                                 dummyItem.getParentOrCurrentFrame().removeItem(dummyItem);
-                                dummyItem.setRightMargin(DisplayController.getFramePaintArea().getWidth(), false);
+                                dummyItem.setRightMargin(DisplayController.getFramePaintAreaWidth(), false);
                         } else {
                                 dummyItem.setWidth(toDropFrom.getWidth());