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

Timestamp:

03/15/19 16:48:00 (5 years ago)

Author:

bln4

Message:

Support for new regime in the form of new fields and conditional setting of all paths fields.

Settings are now able to generate their own representation. This allows for the user to explicitly inspect the default values.

When profiles are created, an optional parameter may now be provided. If not null, the new map parameter can contain default values for settings to apply to this profile. This allows for the creation of profiles to that have (for example), their username set to an explicit value. Multiuser mode uses this functionality for usernames and key values among other things.

Frames can now be asked were they are located on the file system. Furthermore, frame indirection is now a thing. Rather than containing data to display, an exp file can contain a line in the format of "REDIRECT:<path>" to go looking for that data. Frames are able to return both their logical (their exp file) and real (the file actually containing the data) paths.

Frames can now store data.

Further fixes to how edits from other users are loaded in.

File:

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

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

@@ -19 +19 @@
 package org.expeditee.settings.exploratorysearch;
 
-import org.expeditee.items.Text;
 import org.expeditee.setting.BooleanSetting;
 import org.expeditee.setting.IntegerSetting;
-import org.expeditee.setting.StringSetting;
 
 /**
@@ -34 +32 @@
         public static final int BROWSER_VERT_OFFSET = 50;
         
-        public static final BooleanSetting BrowserFullScreen = new BooleanSetting("Start Exploratory Search browser in fullscreen", true);
+        public static final BooleanSetting BrowserFullScreen = new BooleanSetting("Start Exploratory Search browser in fullscreen", "BrowserFullScreen", true);
         
-        public static final IntegerSetting BrowserDefaultWidth = new IntegerSetting("Default Browser width", 800);
+        public static final IntegerSetting BrowserDefaultWidth = new IntegerSetting("Default Browser width", "BrowserDefaultWidth", 800);
         
-        public static final IntegerSetting BrowserDefaultHeight = new IntegerSetting("Default Browser height", 600);
+        public static final IntegerSetting BrowserDefaultHeight = new IntegerSetting("Default Browser height"," BrowserDefaultHeight",600);
         
-        public static final IntegerSetting BrowserLeftMargin = new IntegerSetting("Size of left hand margin for Browser", 0);
+        public static final IntegerSetting BrowserLeftMargin = new IntegerSetting("Size of left hand margin for Browser","BrowserLeftMargin", 0);
         
-        public static final IntegerSetting BrowserRightMargin = new IntegerSetting("Size of right hand margin for Browser", 0);
+        public static final IntegerSetting BrowserRightMargin = new IntegerSetting("Size of right hand margin for Browser", "BrowserRightMargin", 0);
         
-        public static final IntegerSetting BrowserTopMargin = new IntegerSetting("Size of Top margin for Browser", 0);
+        public static final IntegerSetting BrowserTopMargin = new IntegerSetting("Size of Top margin for Browser", "BrowserTopMargin", 0);
         
-        public static final IntegerSetting BrowserBottomMargin = new IntegerSetting("Size of bottom margin for Browser", 0);
+        public static final IntegerSetting BrowserBottomMargin = new IntegerSetting("Size of bottom margin for Browser", "BrowserBottomMargin", 0);
 }