Changeset 876


Ignore:
Timestamp:
02/10/14 16:02:59 (10 years ago)
Author:
csl14
Message:

Exploratory Search web browser now anchors to fullscreen + fixed bug with anchoring widgets

Location:
trunk/src/org/expeditee
Files:
5 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/expeditee/actions/ExploratorySearchActions.java

    r813 r876  
    7777                        if(ExploratorySearchSettings.BrowserFullScreen.get()) {
    7878                                wt = frame.addText(0 + lm, 70 + tm, "@iw: org.expeditee.items.widgets.JfxBrowser "
     79                                                + ("--anchorLeft " + lm + " --anchorRight " + rm + " --anchorTop " + (tm + ExploratorySearchSettings.BROWSER_VERT_OFFSET) + " --anchorBottom " + bm + " ")
    7980                                                + (Browser._theBrowser.getContentPane().getWidth() - lm - rm) + " "
    80                                                 + (Browser._theBrowser.getContentPane().getHeight() - ExploratorySearchSettings.BROWSER_VERT_OFFSET - tm - bm)
    81                                                 + " : " + url, null);
     81                                                + (Browser._theBrowser.getContentPane().getHeight() - ExploratorySearchSettings.BROWSER_VERT_OFFSET - tm - bm) + " : " + url, null);
     82                                System.err.println(wt.getText());
    8283                        } else {
    8384                                wt = frame.addText(0 + lm, 70 + tm, "@iw: org.expeditee.items.widgets.JfxBrowser " +
  • trunk/src/org/expeditee/actions/JfxBrowserActions.java

    r857 r876  
    2626import org.expeditee.items.widgets.InteractiveWidget;
    2727import org.expeditee.items.widgets.JfxBrowser;
     28import org.expeditee.settings.exploratorysearch.ExploratorySearchSettings;
    2829import org.expeditee.settings.network.NetworkSettings;
    2930import org.json.simple.JSONObject;
     
    103104                // Create widget via text annotation
    104105                Text wt = frame.addText(0, 0, "@iw: org.expeditee.items.widgets.JfxBrowser "
     106                                + ("--anchorLeft 0 --anchorRight 0 --anchorTop 0 --anchorBottom 0 ")
    105107                                + Browser._theBrowser.getContentPane().getWidth() +  " " + Browser._theBrowser.getContentPane().getHeight()
    106108                                + " : " + text.getText(), null);
  • trunk/src/org/expeditee/gui/FrameMouseActions.java

    r865 r876  
    749749                        }
    750750                }
    751 
     751               
    752752                // If the user clicked into a widgets free space...
    753753                if (clicked == null && _lastClickedIn != null
  • trunk/src/org/expeditee/items/widgets/InteractiveWidget.java

    r866 r876  
    866866
    867867                if (_anchorLeft != null) {
    868                     sb.append(" -anchorLeft " + Math.round(_anchorLeft));
     868                    sb.append(" --anchorLeft " + Math.round(_anchorLeft));
    869869                }
    870870                if (_anchorRight != null) {
    871                     sb.append(" -anchorRight " + Math.round(_anchorRight));
     871                    sb.append(" --anchorRight " + Math.round(_anchorRight));
    872872                }
    873873
    874874                if (_anchorTop != null) {
    875                     sb.append(" -anchorTop " + Math.round(_anchorTop));
     875                    sb.append(" --anchorTop " + Math.round(_anchorTop));
    876876                }
    877877
    878878                if (_anchorBottom != null) {
    879                     sb.append(" -anchorBottom " + Math.round(_anchorBottom));
     879                    sb.append(" --anchorBottom " + Math.round(_anchorBottom));
    880880                }
    881881
     
    20012001                }
    20022002               
    2003                 // Move X-rayable items as well
    2004                 getSource().setAnchorLeft(anchor);
     2003                // Move X-rayable item as well
     2004                getCurrentRepresentation().setAnchorLeft(anchor);
    20052005        }
    20062006
     
    20182018                if (_anchorLeft == null) {
    20192019                        // Prefer having the X-rayable item at anchorLeft position (if defined) over moving to anchorRight
    2020                         getSource().setAnchorRight(anchor);
     2020                        getCurrentRepresentation().setAnchorRight(anchor);
    20212021                }
    20222022        }
     
    20332033                }
    20342034       
    2035                 // Move X-rayable items as well
    2036                 getSource().setAnchorTop(anchor);
     2035                // Move X-rayable item as well
     2036                getCurrentRepresentation().setAnchorTop(anchor);
    20372037        }
    20382038
     
    20502050                if (_anchorTop == null) {
    20512051                    // Prefer having the X-rayable item at anchorTop position (if defined) over moving to anchorBottom
    2052                     getSource().setAnchorBottom(anchor);
     2052                        getCurrentRepresentation().setAnchorBottom(anchor);
    20532053                }
    20542054        }
  • trunk/src/org/expeditee/settings/exploratorysearch/ExploratorySearchSettings.java

    r813 r876  
    1717        public static final BooleanSetting BrowserFullScreen = new BooleanSetting("Start Exploratory Search browser in fullscreen", true);
    1818       
    19         public static final IntegerSetting BrowserDefaultWidth = new IntegerSetting("Default Browser width", 1008);
     19        public static final IntegerSetting BrowserDefaultWidth = new IntegerSetting("Default Browser width", 800);
    2020       
    21         public static final IntegerSetting BrowserDefaultHeight = new IntegerSetting("Default Browser height", 660);
     21        public static final IntegerSetting BrowserDefaultHeight = new IntegerSetting("Default Browser height", 600);
    2222       
    2323        public static final IntegerSetting BrowserLeftMargin = new IntegerSetting("Size of left hand margin for Browser", 0);
Note: See TracChangeset for help on using the changeset viewer.