Changeset 1258 for trunk/src/org/expeditee/io/WebParser.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/io/WebParser.java (modified) (1 diff)

trunk/src/org/expeditee/io/WebParser.java

@@ -302 +302 @@
                 try {
                         
-                        final int verticalScrollPerPage = (int) (DisplayController.getFramePaintArea().getHeight() * 0.85);
-                        final int horizontalScrollPerPage = (int) (DisplayController.getFramePaintArea().getWidth() * 0.85);
+                        final int verticalScrollPerPage = (int) (DisplayController.getFramePaintAreaHeight() * 0.85);
+                        final int horizontalScrollPerPage = (int) (DisplayController.getFramePaintAreaWidth() * 0.85);
                                                 
                         Platform.runLater(new Runnable() {