Changeset 1258


Ignore:
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

Location:
trunk/src/org
Files:
20 edited

Legend:

Unmodified
Added
Removed

  • trunk/src/org/apollo/gui/ExpandedTrackManager.java

    r1102 r1258  
    170170                                if (!PopupManager.getInstance().isShowing(trackSelectionPopup)) {
    171171                                       
    172                                         trackSelectionPopup.setLocation((DisplayController.getFramePaintArea().getWidth() - trackSelectionPopup.getFullBounds().getWidth()) / 2, 0);
     172                                        trackSelectionPopup.setLocation((DisplayController.getFramePaintAreaWidth() - trackSelectionPopup.getFullBounds().getWidth()) / 2, 0);
    173173                                       
    174174                                        // Creep from above
    … …  
    413413                        assert(Browser._theBrowser != null);
    414414               
    415                         int cpWidth = DisplayController.getFramePaintArea().getWidth();
    416                         int cpHeight = DisplayController.getFramePaintArea().getHeight();
     415                        int cpWidth = DisplayController.getFramePaintAreaWidth();
     416                        int cpHeight = DisplayController.getFramePaintAreaHeight();
    417417                        if (!DisplayController.isAudienceMode()) { // if message bay is showing - the remove the height
    418418                               

  • trunk/src/org/apollo/gui/FrameLayoutDaemon.java

    r1142 r1258  
    423423                                        // Ensure that left most pixel is at a reasonable position
    424424                                        if (!supressSpatialLayout && (initiationXPixel < 0 ||
    425                                                         (initiationXPixel > DisplayController.getFramePaintArea().getWidth() && DisplayController.getFramePaintArea().getWidth() > leftMargin))) {
     425                                                        (initiationXPixel > DisplayController.getFramePaintAreaWidth() && DisplayController.getFramePaintAreaWidth() > leftMargin))) {
    426426                                                initiationXPixel = leftMargin;
    427427                                        } else if (!supressSpatialLayout && initiationXPixel > LAYOUT_MAX_INITIATION_PIXEL) {
    … …  
    432432                                                timelineWidth = rightMostPixel - initiationXPixel;
    433433                                        } else {
    434                                                 timelineWidth = DisplayController.getFramePaintArea().getWidth() - initiationXPixel - rightMargin;
     434                                                timelineWidth = DisplayController.getFramePaintAreaWidth() - initiationXPixel - rightMargin;
    435435                                        }
    436436                                       
    … …  
    546546                                        if (width > 0) {
    547547                                               
    548                                                 if (width > (DisplayController.getFramePaintArea().getWidth() - (2 * FREE_SPACE_MARGINS))) {
    549                                                         width = DisplayController.getFramePaintArea().getWidth() - (2 * FREE_SPACE_MARGINS);
     548                                                if (width > (DisplayController.getFramePaintAreaWidth() - (2 * FREE_SPACE_MARGINS))) {
     549                                                        width = DisplayController.getFramePaintAreaWidth() - (2 * FREE_SPACE_MARGINS);
    550550                                                }
    551551

  • trunk/src/org/expeditee/actions/JfxBrowserActions.java

    r1102 r1258  
    174174
    175175                // Create widget via text annotation
    176                 frame.addText(10, 10, "@iw: org.expeditee.items.widgets.JfxBrowser " + (int) (DisplayController.getFramePaintArea().getWidth() * 0.9) + " "
    177                                 + (int) (DisplayController.getFramePaintArea().getHeight() * 0.9) + " : " + url, null);
     176                frame.addText(10, 10, "@iw: org.expeditee.items.widgets.JfxBrowser " + (int) (DisplayController.getFramePaintAreaWidth() * 0.9) + " "
     177                                + (int) (DisplayController.getFramePaintAreaHeight() * 0.9) + " : " + url, null);
    178178
    179179                FrameIO.SaveFrame(frame);

  • trunk/src/org/expeditee/actions/Misc.java

    r1242 r1258  
    12391239                        if(iw instanceof org.expeditee.items.widgets.Browser) {
    12401240                                // Set browser to 'full screen'
    1241                                 iw.setSize(-1, -1, -1, -1, DisplayController.getFramePaintArea().getWidth(), DisplayController.getFramePaintArea().getHeight() - 80);
     1241                                iw.setSize(-1, -1, -1, -1, DisplayController.getFramePaintAreaWidth(), DisplayController.getFramePaintAreaHeight() - 80);
    12421242                               
    12431243                                // If there is a text item attached to cursor use it as url for browser

  • trunk/src/org/expeditee/agents/Format.java

    r1102 r1258  
    148148                                                + /* item.getX() + */it.getBoundsWidth());
    149149
    150                         if (xCheck < DisplayController.getFramePaintArea().getWidth()) {
     150                        if (xCheck < DisplayController.getFramePaintAreaWidth()) {
    151151                                Item columnHead = columnHeads.get(i + 1);
    152152                                if (columnHead.getX() < maxX && columnHead.getY() < maxY) {

  • trunk/src/org/expeditee/auth/Authenticator.java

    r1254 r1258  
    191191                        secret_key = (SecretKey) keyStore.getKey(label, password_ca);                   
    192192                } catch (final UnrecoverableEntryException e) {
     193                        e.printStackTrace();
    193194                        secret_key = null;
    194195                }

  • trunk/src/org/expeditee/auth/gui/MailBay.java

    r1243 r1258  
    216216        private static void updateLink() {
    217217                if (!isLinkInitialized && DisplayController.getFramePaintArea() != null
    218                                 && DisplayController.getFramePaintArea().getWidth() > 0) {
     218                                && DisplayController.getFramePaintAreaWidth() > 0) {
    219219                        // set up 'Messages' link on the right hand side
    220220                        _mailLink.setPosition(DisplayController.getMessageBayPaintArea().getWidth() - MAIL_LINK_Y_OFFSET,
    … …  
    231231                Text t = new Text("You have [" + _messages.size() + "] unprocessed messages waiting.  Two latest below:");
    232232                t.setPosition(OFFSET_X, HEADER_OFFSET_Y);
    233                 t.setOffset(0, -DisplayController.getFramePaintArea().getHeight());
     233                t.setOffset(0, -DisplayController.getFramePaintAreaHeight());
    234234                t.setColor(fontColor);
    235235                t.setFont(_messageFont.clone());

  • trunk/src/org/expeditee/core/bounds/AxisAlignedBoxBounds.java

    r1149 r1258  
    55import org.expeditee.core.Line;
    66import org.expeditee.core.Point;
     7import org.expeditee.gui.DisplayController;
    78
    89/**

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

    r1242 r1258  
    13701370                                                        NumberFormat nf = Vector.getNumberFormatter();
    13711371                                                        linker.setText(linker.getText() + ": "
    1372                                                                         + nf.format((width / DisplayController.getFramePaintArea().getWidth())));
     1372                                                                        + nf.format((width / DisplayController.getFramePaintAreaWidth())));
    13731373                                                } else {
    13741374                                                        linker.setText(linker.getText() + ": " + width);
    … …  
    22182218                                FrameUtils.Align(column, false, 0);
    22192219                                // Check if it will be outside the frame area
    2220                                 if (dummyItem.getY() < 0 || dummyItem.getY() > DisplayController.getFramePaintArea().getHeight()) {
     2220                                if (dummyItem.getY() < 0 || dummyItem.getY() > DisplayController.getFramePaintAreaHeight()) {
    22212221                                        // Check for the 'next' tag!
    22222222                                        Frame current = DisplayController.getCurrentFrame();
    … …  
    22782278                        if (dummyItem.getText().length() == 0 || FreeItems.hasItemsAttachedToCursor()) {
    22792279                                dummyItem.getParentOrCurrentFrame().removeItem(dummyItem);
    2280                                 dummyItem.setRightMargin(DisplayController.getFramePaintArea().getWidth(), false);
     2280                                dummyItem.setRightMargin(DisplayController.getFramePaintAreaWidth(), false);
    22812281                        } else {
    22822282                                dummyItem.setWidth(toDropFrom.getWidth());

  • trunk/src/org/expeditee/gui/DisplayController.java

    r1245 r1258  
    7373        public static final int MINIMUM_FRAME_HEIGHT = 512;
    7474       
    75         private static boolean DISPLAYED_ABOVE_MINIMUM_FRAME_WIDTH = false;
     75        public static boolean DISPLAYED_ABOVE_MINIMUM_FRAME_WIDTH = false;
    7676       
    7777        /** Convenience definition of TwinFramesSide.LEFT. */
    … …  
    12451245        }
    12461246       
    1247         public static Dimension getSizeEnforceMinimum() {
    1248                 Dimension actual_dim = getFramePaintArea().getSize();
     1247        public static Dimension getSizeEnforceMinimumXXXX() { // **** DB
     1248                Dimension actual_dim = getFramePaintAreaSize();
    12491249               
    12501250                int enforced_width  = Math.max(actual_dim.width, MINIMUM_FRAME_WIDTH);
    … …  
    13051305        }
    13061306       
     1307        public static int getFramePaintAreaWidth()
     1308        {
     1309                if (!DISPLAYED_ABOVE_MINIMUM_FRAME_WIDTH) {
     1310                        return  MINIMUM_FRAME_WIDTH;
     1311                }
     1312               
     1313                return _framePaintArea.getWidth();
     1314        }
     1315       
     1316        public static int getFramePaintAreaHeight()
     1317        {
     1318                if (!DISPLAYED_ABOVE_MINIMUM_FRAME_WIDTH) {
     1319                        return  MINIMUM_FRAME_HEIGHT;
     1320                }
     1321               
     1322                return _framePaintArea.getHeight();
     1323        }
     1324       
     1325        public static Dimension getFramePaintAreaSize()
     1326        {
     1327                if (!DISPLAYED_ABOVE_MINIMUM_FRAME_WIDTH) {
     1328                        Dimension min_dim = new Dimension(MINIMUM_FRAME_WIDTH,MINIMUM_FRAME_HEIGHT);
     1329                        return min_dim;
     1330                }
     1331               
     1332                return _framePaintArea.getSize();
     1333        }
     1334               
    13071335        public static AxisAlignedBoxBounds getMessageBayPaintArea()
    13081336        {
    … …  
    14071435                        Image image = null;
    14081436                        if (currentFrame != null && (!useInvalidation || !frameClip.isFullyClipped())) {
    1409                                 image = FrameGraphics.getFrameImage(currentFrame, frameClip, getFramePaintArea().getSize());
     1437                                image = FrameGraphics.getFrameImage(currentFrame, frameClip, getFramePaintAreaSize());
    14101438                        }
    14111439

  • trunk/src/org/expeditee/gui/FrameCreator.java

    r1102 r1258  
    220220                                // new frame
    221221                                if (!_multiColumn
    222                                                 || toAdd.getBoundsWidth() + _lastX > DisplayController.getFramePaintArea().getWidth()) {
     222                                                || toAdd.getBoundsWidth() + _lastX > DisplayController.getFramePaintAreaWidth()) {
    223223                                        // Make sure text items that are created on the current
    224224                                        // frame are removed
    … …  
    231231                        toAdd.setOffset(0, 0);
    232232                        toAdd.setID(_current.getNextItemID());
    233                         toAdd.setRightMargin(DisplayController.getFramePaintArea().getWidth(), true);
     233                        toAdd.setRightMargin(DisplayController.getFramePaintAreaWidth(), true);
    234234
    235235                        _current.addItem(toAdd);

  • trunk/src/org/expeditee/gui/MessageBay.java

    r1221 r1258  
    133133        private static void updateLink() {
    134134                if (!isLinkInitialized && DisplayController.getFramePaintArea() != null
    135                                 && DisplayController.getFramePaintArea().getWidth() > 0) {
     135                                && DisplayController.getFramePaintAreaWidth() > 0) {
    136136                        // set up 'Messages' link on the right hand side
    137137                        _messageLink.setPosition(DisplayController.getMessageBayPaintArea().getWidth() - MESSAGE_LINK_Y_OFFSET,
    … …  
    218218                Text t = new Text(getMessagePrefix(true) + message);
    219219                t.setPosition(20, 15 + _messages.size() * 25);
    220                 t.setOffset(0, -DisplayController.getFramePaintArea().getHeight());
     220                t.setOffset(0, -DisplayController.getFramePaintAreaHeight());
    221221                t.setColor(color);
    222222                t.setLink(link);

  • trunk/src/org/expeditee/io/PDF2Writer.java

    r1144 r1258  
    147147
    148148        public PDF2Writer() {
    149                 _pageSize = DisplayController.getFramePaintArea().getSize();
     149                _pageSize = DisplayController.getFramePaintAreaSize();
    150150                _pdfDocument = new Document(new Rectangle(_pageSize.width, _pageSize.height));
    151151        }

  • trunk/src/org/expeditee/io/PdfFramesetWriter.java

    r1102 r1258  
    6767        {
    6868                super(firstFrame, maxFrame);
    69                 Dimension d = DisplayController.getFramePaintArea().getSize();
     69                Dimension d = DisplayController.getFramePaintAreaSize();
    7070                _pdfDocument = new Document(new Rectangle(d.width, d.height));
    7171                _showFrameNames = showFrameNames;
    … …  
    185185                                FrameGraphics.getMaxSize().height);*/
    186186                GraphicsManager g = EcosystemManager.getGraphicsManager();
    187                 Image temp = EcosystemManager.getImageManager().createImage(DisplayController.getFramePaintArea().getSize());
     187                Image temp = EcosystemManager.getImageManager().createImage(DisplayController.getFramePaintAreaSize());
    188188                lineEnd.paint();
    189189//              if (fill != null) {
    … …  
    202202        {
    203203                PdfContentByte cb = _pdfWriter.getDirectContent();
    204                 Graphics2D g = cb.createGraphicsShapes(DisplayController.getFramePaintArea().getWidth(), DisplayController.getFramePaintArea().getHeight());
    205                 Image temp = EcosystemManager.getImageManager().createImage(DisplayController.getFramePaintArea().getSize());
     204                Graphics2D g = cb.createGraphicsShapes(DisplayController.getFramePaintAreaWidth(), DisplayController.getFramePaintAreaHeight());
     205                Image temp = EcosystemManager.getImageManager().createImage(DisplayController.getFramePaintAreaSize());
    206206                EcosystemManager.getGraphicsManager().pushDrawingSurface(temp);
    207207                toWrite.paint();
    … …  
    214214        {
    215215                PdfContentByte cb = _pdfWriter.getDirectContent();
    216                 Graphics2D g = cb.createGraphicsShapes(DisplayController.getFramePaintArea().getWidth(), DisplayController.getFramePaintArea().getHeight());
    217                 Image temp = EcosystemManager.getImageManager().createImage(DisplayController.getFramePaintArea().getSize());
     216                Graphics2D g = cb.createGraphicsShapes(DisplayController.getFramePaintAreaWidth(), DisplayController.getFramePaintAreaHeight());
     217                Image temp = EcosystemManager.getImageManager().createImage(DisplayController.getFramePaintAreaSize());
    218218                EcosystemManager.getGraphicsManager().pushDrawingSurface(temp);
    219219                toWrite.paint();

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

    r1125 r1258  
    302302                try {
    303303                       
    304                         final int verticalScrollPerPage = (int) (DisplayController.getFramePaintArea().getHeight() * 0.85);
    305                         final int horizontalScrollPerPage = (int) (DisplayController.getFramePaintArea().getWidth() * 0.85);
     304                        final int verticalScrollPerPage = (int) (DisplayController.getFramePaintAreaHeight() * 0.85);
     305                        final int horizontalScrollPerPage = (int) (DisplayController.getFramePaintAreaWidth() * 0.85);
    306306                                               
    307307                        Platform.runLater(new Runnable() {

  • trunk/src/org/expeditee/items/Dot.java

    r1102 r1258  
    117117                int oldX = getX();
    118118                if (anchor != null) {
    119                         float deltaX = DisplayController.getFramePaintArea().getWidth() - anchor - getBoundsWidth() - oldX;
     119                        float deltaX = DisplayController.getFramePaintAreaWidth() - anchor - getBoundsWidth() - oldX;
    120120
    121121                        anchorConnected(AnchorEdgeType.Right, deltaX);
    … …  
    160160                int oldY = getY();
    161161                if (anchor != null) {
    162                         float deltaY = DisplayController.getFramePaintArea().getHeight() - anchor - getBoundsHeight() - oldY;
     162                        float deltaY = DisplayController.getFramePaintAreaHeight() - anchor - getBoundsHeight() - oldY;
    163163                        anchorConnected(AnchorEdgeType.Bottom, deltaY);
    164164                }

  • trunk/src/org/expeditee/items/Item.java

    r1244 r1258  
    13791379        {
    13801380                final Bounds bounds = AxisAlignedBoxBounds.getEnclosing(this.getBoundingBox());
    1381                 Dimension frameSize = DisplayController.getFramePaintArea().getSize();
     1381                Dimension frameSize = DisplayController.getFramePaintAreaSize();
    13821382               
    13831383                int x = bounds.getMaxX();

  • trunk/src/org/expeditee/items/Text.java

    r1245 r1258  
    387387                if (width == null) {
    388388                        setJustification(Justification.left);
    389                         setRightMargin(DisplayController.getFramePaintArea().getWidth(), false);
     389                        setRightMargin(DisplayController.getFramePaintAreaWidth(), false);
    390390                        return;
    391391                }
    … …  
    402402                if (width == null) {
    403403                        setJustification(Justification.left);
    404                         setRightMargin(DisplayController.getFramePaintArea().getWidth(), false);
     404                        setRightMargin(DisplayController.getFramePaintAreaWidth(), false);
    405405                        return;
    406406                }
    … …  
    18011801                if (limitWidth) {
    18021802                        if (_maxWidth == null) {
    1803                                 width = DisplayController.getFramePaintArea().getWidth() - getX();
     1803                                width = DisplayController.getFramePaintAreaWidth() - getX();
    18041804                        } else {
    18051805                                width = getAbsoluteWidth();
    … …  
    22822282                        int model_frame_name_x = modelFrame.getNameItem().getX();
    22832283                        if (model_frame_name_x < DisplayController.MINIMUM_FRAME_WIDTH) {
    2284                                 System.err.println("Text::resetTitlePostion(): value to be used as right margin from position of frameName < 512");
     2284                                System.err.println("**** Text::resetTitlePostion(): value to be used as right margin from position of frameName < 512");
    22852285                                System.err.println("  Overriding to ensure reasonable width for title");
    22862286                                model_frame_name_x = DisplayController.MINIMUM_FRAME_WIDTH;
    … …  
    23952395        private void clipFrameMargin() {
    23962396                if (!hasFixedWidth()) {
    2397                         int frameWidth = DisplayController.getFramePaintArea().getWidth();
     2397                        int frameWidth = DisplayController.getFramePaintAreaWidth();
    23982398                        /*
    23992399                         * Only change width if it is more than 150 pixels from the right of the screen
    … …  
    24172417                }
    24182418
    2419                 Integer width = DisplayController.getFramePaintArea().getWidth();
     2419                Integer width = DisplayController.getFramePaintAreaWidth();
    24202420
    24212421                // Check if that text item is inside an enclosing rectangle...
    … …  
    24572457
    24582458        public void resetFrameNamePosition() {
    2459                 Dimension maxSize = DisplayController.getSizeEnforceMinimum();
    2460                                
     2459                //Dimension maxSize = DisplayController.getSizeEnforceMinimum();
     2460                Dimension maxSize = DisplayController.getFramePaintAreaSize();
     2461               
    24612462                if (maxSize != null) {
    24622463                        // setMaxWidth(maxSize.width);
    … …  
    27172718                        // Subtract off the link width
    27182719                        if (anchor != null) {
    2719                                 setX(DisplayController.getFramePaintArea().getWidth() - anchor - getBoundsWidth() + getLeftMargin());
     2720                                setX(DisplayController.getFramePaintAreaWidth() - anchor - getBoundsWidth() + getLeftMargin());
    27202721                        }
    27212722                        return;
    … …  
    27282729                int oldX = getX();
    27292730                if (anchor != null) {
    2730                         float deltaX = DisplayController.getFramePaintArea().getWidth() - anchor - getBoundsWidth()
     2731                        float deltaX = DisplayController.getFramePaintAreaWidth() - anchor - getBoundsWidth()
    27312732                                        + getLeftMargin() - oldX;
    27322733                        anchorConnected(AnchorEdgeType.Right, deltaX);
    … …  
    27782779                                        final float ascent = getTextLayouts().get(0).getAscent();
    27792780                                        final float descent = getTextLayouts().get(0).getDescent();
    2780                                         setY(DisplayController.getFramePaintArea().getHeight()
     2781                                        setY(DisplayController.getFramePaintAreaHeight()
    27812782                                                        - (anchor + this.getBoundsHeight() - ascent - descent));
    27822783                                } else if (this.getFont() != null) {
    … …  
    27852786                                        final float ascent = fakeLayout.getAscent();
    27862787                                        final float descent = fakeLayout.getDescent();
    2787                                         setY(DisplayController.getFramePaintArea().getHeight()
     2788                                        setY(DisplayController.getFramePaintAreaHeight()
    27882789                                                        - (anchor + this.getBoundsHeight() - ascent - descent));
    27892790                                }
    … …  
    28002801                if (anchor != null) {
    28012802
    2802                         float deltaY = DisplayController.getFramePaintArea().getHeight() - anchor - oldY;
     2803                        float deltaY = DisplayController.getFramePaintAreaHeight() - anchor - oldY;
    28032804                        anchorConnected(AnchorEdgeType.Bottom, deltaY);
    28042805                }

  • trunk/src/org/expeditee/items/XRayable.java

    r1102 r1258  
    290290                _source.setAnchorBottom(anchor);
    291291                if (anchor != null)
    292                         _source.setY(DisplayController.getFramePaintArea().getHeight() - getHeight() - anchor);
     292                        _source.setY(DisplayController.getFramePaintAreaHeight() - getHeight() - anchor);
    293293        }
    294294
    … …  
    302302        public void setAnchorRight(Integer anchor) {
    303303                _source.setAnchorRight(anchor);
    304                 _source.setX(DisplayController.getFramePaintArea().getWidth() - anchor - this.getWidth());
     304                _source.setX(DisplayController.getFramePaintAreaWidth() - anchor - this.getWidth());
    305305        }
    306306       

  • trunk/src/org/expeditee/items/widgets/Widget.java

    r1177 r1258  
    18251825
    18261826                if (anchor != null) {
    1827                         setPositions(_d2, DisplayController.getFramePaintArea().getWidth() - anchor, _d2.getY());
     1827                        setPositions(_d2, DisplayController.getFramePaintAreaWidth() - anchor, _d2.getY());
    18281828                        invalidateSelf();
    18291829                }
    … …  
    18571857               
    18581858                if (anchor != null) {
    1859                     setPositions(_d3, _d3.getX(), DisplayController.getFramePaintArea().getHeight()  - anchor);
     1859                    setPositions(_d3, _d3.getX(), DisplayController.getFramePaintAreaHeight()  - anchor);
    18601860                    invalidateSelf();
    18611861                }
Note: See TracChangeset for help on using the changeset viewer.