No functionality change.

This just makes explicit that the browser reads user preferences
rather than relying on the default value supplied by the default constructor.

diff --git a/ajbrowser/src/org/aspectj/tools/ajbrowser/BrowserManager.java b/ajbrowser/src/org/aspectj/tools/ajbrowser/BrowserManager.java
index 65d113af74e6a5eea72620e0f9fc0cb873256041..ac8d41c1998805bbfd421ec042dee9d5779c9ecc 100644 (file)
--- a/ajbrowser/src/org/aspectj/tools/ajbrowser/BrowserManager.java
+++ b/ajbrowser/src/org/aspectj/tools/ajbrowser/BrowserManager.java
@@ -54,7 +54,7 @@ public class BrowserManager {
     
        public void init(String[] configFilesArgs, boolean visible) {
                try {
-                       UserPreferencesAdapter preferencesAdapter = new UserPreferencesStore();
+                       UserPreferencesAdapter preferencesAdapter = new UserPreferencesStore(true);
                        browserProjectProperties = new BrowserProperties(preferencesAdapter);
                        TaskListManager taskListManager = new CompilerMessagesPanel();
                        BasicEditor ajdeEditor = new BasicEditor();