Added persist member.

diff --git a/ajde/src/org/aspectj/ajde/ui/internal/UserPreferencesStore.java b/ajde/src/org/aspectj/ajde/ui/internal/UserPreferencesStore.java
index 722e185773c85bb274de7d3625fda89795eea5de..f6ca2d439cc90db56451e12ea70db8173ae88af5 100644 (file)
--- 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 {