diff options
Diffstat (limited to 'ajbrowser')
| -rw-r--r-- | ajbrowser/src/org/aspectj/tools/ajbrowser/BrowserManager.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ajbrowser/src/org/aspectj/tools/ajbrowser/BrowserManager.java b/ajbrowser/src/org/aspectj/tools/ajbrowser/BrowserManager.java index 65d113af7..ac8d41c19 100644 --- 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(); |