public class WorkspaceLocalPreferences extends java.lang.Object
Constructor and Description |
---|
WorkspaceLocalPreferences() |
Modifier and Type | Method and Description |
---|---|
static java.util.ArrayList<java.lang.String> |
getActivesWorkspace() |
static XMLPreferences |
getPreferences() |
static boolean |
isWorkspaceEnable(java.lang.String workspaceName) |
static void |
load() |
static void |
setActivesWorkspace(java.util.ArrayList<java.lang.String> names) |
static void |
setWorkspaceEnable(java.lang.String workspaceName,
boolean value) |
public WorkspaceLocalPreferences()
public static void load()
public static XMLPreferences getPreferences()
public static java.util.ArrayList<java.lang.String> getActivesWorkspace()
public static void setActivesWorkspace(java.util.ArrayList<java.lang.String> names)
public static boolean isWorkspaceEnable(java.lang.String workspaceName)
public static void setWorkspaceEnable(java.lang.String workspaceName, boolean value)