20 package net.sf.gridarta.gui.dialog.prefs;
22 import java.util.prefs.Preferences;
25 import org.jetbrains.annotations.NotNull;
77 public AppPreferencesModel(@NotNull
final String serverDefault, @NotNull
final String clientDefault, @NotNull
final String editorDefault) {
87 public static void setServer(@NotNull
final CharSequence server) {
95 public static void setClient(@NotNull
final CharSequence client) {
103 public static void setEditor(@NotNull
final CharSequence editor) {
113 return PREFERENCES.get(PREFERENCES_APP_SERVER, serverDefault);
122 return PREFERENCES.get(PREFERENCES_APP_CLIENT, clientDefault);
131 return PREFERENCES.get(PREFERENCES_APP_EDITOR, editorDefault);
String getClient()
Returns the client setting.
static String path(@NotNull final CharSequence str)
Create a reasonable path.
Reading and writing of maps, handling of paths.
static final Preferences PREFERENCES
Preferences.
Utility class for converting relative map paths to absolute map paths and vice versa.
static void setEditor(@NotNull final CharSequence editor)
Sets the editor setting.
Maintains the application preferences state.
AppPreferencesModel(@NotNull final String serverDefault, @NotNull final String clientDefault, @NotNull final String editorDefault)
Creates a new instance.
Base package of all Gridarta classes.
static void setClient(@NotNull final CharSequence client)
Sets the client setting.
final String clientDefault
The default value for the client setting.
String getClientDefault()
Returns the client setting's default value.
final String editorDefault
The default value for the editor setting.
String getEditor()
Returns the editor setting.
Interface used as preferences location.
static final String PREFERENCES_APP_CLIENT
Preferences key for client application.
String getEditorDefault()
Returns the editor setting's default value.
static void setServer(@NotNull final CharSequence server)
Sets the server setting.
static final String PREFERENCES_APP_SERVER
Preferences key for server application.
final String serverDefault
The default value for the server setting.
String getServer()
Returns the server setting.
String getServerDefault()
Returns the server setting's default value.
static final String PREFERENCES_APP_EDITOR
Preferences key for editor application.