Changeset 813 for trunk/src/org/expeditee/settings/exploratorysearch

Timestamp:

02/03/14 15:04:16 (10 years ago)

Author:

csl14

Message:

Fullscreen webbrowser now gets actual width and height

File:

• trunk/src/org/expeditee/settings/exploratorysearch/ExploratorySearchSettings.java (modified) (2 diffs)

trunk/src/org/expeditee/settings/exploratorysearch/ExploratorySearchSettings.java

@@ -12 +12 @@
 public abstract class ExploratorySearchSettings {
         
+        // Vert offset for the JfxBrowser's position to work with the Exploratory Search web browser overlay
+        public static final int BROWSER_VERT_OFFSET = 70;
+        
         public static final BooleanSetting BrowserFullScreen = new BooleanSetting("Start Exploratory Search browser in fullscreen", true);
         
@@ -18 +21 @@
         public static final IntegerSetting BrowserDefaultHeight = new IntegerSetting("Default Browser height", 660);
         
-        public static final IntegerSetting BrowserLeftMargin = new IntegerSetting("Size of lefthand margin for Browser", 0);
+        public static final IntegerSetting BrowserLeftMargin = new IntegerSetting("Size of left hand margin for Browser", 0);
         
         public static final IntegerSetting BrowserRightMargin = new IntegerSetting("Size of right hand margin for Browser", 0);