From d74d7bfa222e384f4fad1f01d5ea27f209677fea Mon Sep 17 00:00:00 2001 From: acolyer Date: Fri, 9 May 2003 09:21:08 +0000 Subject: [PATCH] Added persist member. --- .../org/aspectj/ajde/ui/internal/UserPreferencesStore.java | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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 { -- 2.39.5