Changeset 876
- Timestamp:
- 02/10/14 16:02:59 (10 years ago)
- Location:
- trunk/src/org/expeditee
- Files:
-
- 5 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/expeditee/actions/ExploratorySearchActions.java
r813 r876 77 77 if(ExploratorySearchSettings.BrowserFullScreen.get()) { 78 78 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 + " ") 79 80 + (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()); 82 83 } else { 83 84 wt = frame.addText(0 + lm, 70 + tm, "@iw: org.expeditee.items.widgets.JfxBrowser " + -
trunk/src/org/expeditee/actions/JfxBrowserActions.java
r857 r876 26 26 import org.expeditee.items.widgets.InteractiveWidget; 27 27 import org.expeditee.items.widgets.JfxBrowser; 28 import org.expeditee.settings.exploratorysearch.ExploratorySearchSettings; 28 29 import org.expeditee.settings.network.NetworkSettings; 29 30 import org.json.simple.JSONObject; … … 103 104 // Create widget via text annotation 104 105 Text wt = frame.addText(0, 0, "@iw: org.expeditee.items.widgets.JfxBrowser " 106 + ("--anchorLeft 0 --anchorRight 0 --anchorTop 0 --anchorBottom 0 ") 105 107 + Browser._theBrowser.getContentPane().getWidth() + " " + Browser._theBrowser.getContentPane().getHeight() 106 108 + " : " + text.getText(), null); -
trunk/src/org/expeditee/gui/FrameMouseActions.java
r865 r876 749 749 } 750 750 } 751 751 752 752 // If the user clicked into a widgets free space... 753 753 if (clicked == null && _lastClickedIn != null -
trunk/src/org/expeditee/items/widgets/InteractiveWidget.java
r866 r876 866 866 867 867 if (_anchorLeft != null) { 868 sb.append(" - anchorLeft " + Math.round(_anchorLeft));868 sb.append(" --anchorLeft " + Math.round(_anchorLeft)); 869 869 } 870 870 if (_anchorRight != null) { 871 sb.append(" - anchorRight " + Math.round(_anchorRight));871 sb.append(" --anchorRight " + Math.round(_anchorRight)); 872 872 } 873 873 874 874 if (_anchorTop != null) { 875 sb.append(" - anchorTop " + Math.round(_anchorTop));875 sb.append(" --anchorTop " + Math.round(_anchorTop)); 876 876 } 877 877 878 878 if (_anchorBottom != null) { 879 sb.append(" - anchorBottom " + Math.round(_anchorBottom));879 sb.append(" --anchorBottom " + Math.round(_anchorBottom)); 880 880 } 881 881 … … 2001 2001 } 2002 2002 2003 // Move X-rayable item sas well2004 get Source().setAnchorLeft(anchor);2003 // Move X-rayable item as well 2004 getCurrentRepresentation().setAnchorLeft(anchor); 2005 2005 } 2006 2006 … … 2018 2018 if (_anchorLeft == null) { 2019 2019 // Prefer having the X-rayable item at anchorLeft position (if defined) over moving to anchorRight 2020 get Source().setAnchorRight(anchor);2020 getCurrentRepresentation().setAnchorRight(anchor); 2021 2021 } 2022 2022 } … … 2033 2033 } 2034 2034 2035 // Move X-rayable item sas well2036 get Source().setAnchorTop(anchor);2035 // Move X-rayable item as well 2036 getCurrentRepresentation().setAnchorTop(anchor); 2037 2037 } 2038 2038 … … 2050 2050 if (_anchorTop == null) { 2051 2051 // Prefer having the X-rayable item at anchorTop position (if defined) over moving to anchorBottom 2052 getSource().setAnchorBottom(anchor);2052 getCurrentRepresentation().setAnchorBottom(anchor); 2053 2053 } 2054 2054 } -
trunk/src/org/expeditee/settings/exploratorysearch/ExploratorySearchSettings.java
r813 r876 17 17 public static final BooleanSetting BrowserFullScreen = new BooleanSetting("Start Exploratory Search browser in fullscreen", true); 18 18 19 public static final IntegerSetting BrowserDefaultWidth = new IntegerSetting("Default Browser width", 1008);19 public static final IntegerSetting BrowserDefaultWidth = new IntegerSetting("Default Browser width", 800); 20 20 21 public static final IntegerSetting BrowserDefaultHeight = new IntegerSetting("Default Browser height", 6 60);21 public static final IntegerSetting BrowserDefaultHeight = new IntegerSetting("Default Browser height", 600); 22 22 23 23 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.