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

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

File:

• trunk/src/org/expeditee/settings/exploratorysearch/ExploratorySearchSettings.java (modified) (1 diff)

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

@@ -17 +17 @@
         public static final BooleanSetting BrowserFullScreen = new BooleanSetting("Start Exploratory Search browser in fullscreen", true);
         
-        public static final IntegerSetting BrowserDefaultWidth = new IntegerSetting("Default Browser width", 1008);
+        public static final IntegerSetting BrowserDefaultWidth = new IntegerSetting("Default Browser width", 800);
         
-        public static final IntegerSetting BrowserDefaultHeight = new IntegerSetting("Default Browser height", 660);
+        public static final IntegerSetting BrowserDefaultHeight = new IntegerSetting("Default Browser height", 600);
         
         public static final IntegerSetting BrowserLeftMargin = new IntegerSetting("Size of left hand margin for Browser", 0);