public class IDESettings extends Object
Modifier and Type | Field and Description |
---|---|
static String |
PROP_EXTERNAL_WWWBROWSER |
static String |
PROP_WWWBROWSER
Web Browser prefered by user
|
Constructor and Description |
---|
IDESettings() |
Modifier and Type | Method and Description |
---|---|
static HtmlBrowser.Factory |
getExternalWWWBrowser()
Getter for preffered external web browser.
|
static HtmlBrowser.Factory |
getWWWBrowser()
Getter for preffered web browser.
|
static boolean |
isGui()
Are we running in GUI or headless mode?
|
static void |
setExternalWWWBrowser(HtmlBrowser.Factory brow)
Setter for preffered external browser.
|
static void |
setWWWBrowser(HtmlBrowser.Factory brow)
Setter for preffered browser.
|
public static final String PROP_WWWBROWSER
public static final String PROP_EXTERNAL_WWWBROWSER
public static HtmlBrowser.Factory getWWWBrowser()
public static HtmlBrowser.Factory getExternalWWWBrowser()
public static void setWWWBrowser(HtmlBrowser.Factory brow)
brow
- prefered browser capable of providing implementationpublic static void setExternalWWWBrowser(HtmlBrowser.Factory brow)
brow
- prefered browser capable of providing implementationpublic static boolean isGui()