diff options
Diffstat (limited to 'ajde/src')
-rw-r--r-- | ajde/src/org/aspectj/ajde/ui/internal/UserPreferencesStore.java | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/ajde/src/org/aspectj/ajde/ui/internal/UserPreferencesStore.java b/ajde/src/org/aspectj/ajde/ui/internal/UserPreferencesStore.java index 722e18577..f6ca2d439 100644 --- a/ajde/src/org/aspectj/ajde/ui/internal/UserPreferencesStore.java +++ b/ajde/src/org/aspectj/ajde/ui/internal/UserPreferencesStore.java @@ -33,13 +33,15 @@ public class UserPreferencesStore implements UserPreferencesAdapter { public static final String FILE_NAME = "/.ajbrowser"; private final String VALUE_SEP = ";"; private Properties properties = new Properties(); + private boolean persist = true; public UserPreferencesStore() { this(true); } public UserPreferencesStore(boolean loadDefault) { - if (loadDefault) { + persist = loadDefault; + if (persist) { loadProperties(getPropertiesFilePath()); } } @@ -123,6 +125,8 @@ public class UserPreferencesStore implements UserPreferencesAdapter { } } public void saveProperties() { + if (!persist) return; + FileOutputStream out = null; String path = null; try { |