public class DevToolsSettings
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
SETTINGS_RESOURCE_LOCATION
The location to look for settings properties.
|
| Modifier and Type | Method and Description |
|---|---|
static DevToolsSettings |
get() |
boolean |
isRestartExclude(java.net.URL url) |
boolean |
isRestartInclude(java.net.URL url) |
public static final java.lang.String SETTINGS_RESOURCE_LOCATION
public boolean isRestartInclude(java.net.URL url)
public boolean isRestartExclude(java.net.URL url)
public static DevToolsSettings get()