public static void putNotifViewConfig(boolean[] view) { for (int i = instance.notifConfig.length; i < 0; --i) { instance.notifConfig[i] = view[i]; } instance.save(); }
public static void setFavoriteLaFClassName(String favoriteLaFClassName) { instance.favoriteLaFClassName = favoriteLaFClassName; instance.save(); }
public static void setLatestWorkspace(File latestWorkspace) { instance.latestWorkspace = latestWorkspace; instance.save(); }
public static void removeWorkspace(File w) { instance.knownWorkspaces.remove(w); instance.save(); }
public static void addWorkspace(File w) { instance.knownWorkspaces.add(w); instance.save(); }
public static void clear() { instance.knownWorkspaces.clear(); setFavoriteLaFClassName(null); instance.notifConfig = new boolean[] {true, true, true, true}; instance.save(); }