source: trunk/src/org/expeditee/settings/exploratorysearch/ExploratorySearchSettings.java@ 766

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;

/**
 * The settings for the exploratory search user interface.
 * @author csl14
 */
public abstract class ExploratorySearchSettings {
        
        public static final StringSetting HomePage = new StringSetting("The home page for the Exploratory Search Browser", "https://duckduckgo.com");
        
        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 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 BrowserRightMargin = new IntegerSetting("Size of right hand margin for Browser", 0);
        
        public static final IntegerSetting BrowserTopMargin = new IntegerSetting("Size of Top margin for Browser", 0);
        
        public static final IntegerSetting BrowserBottomMargin = new IntegerSetting("Size of bottom margin for Browser", 0);
}