diff options
| author | wisberg <wisberg> | 2003-05-14 03:13:28 +0000 |
|---|---|---|
| committer | wisberg <wisberg> | 2003-05-14 03:13:28 +0000 |
| commit | fed9393f832e8bd8da2cea2a4e55c6c49a3c2b39 (patch) | |
| tree | afe18a425ca7aa8d4a333c2734e734d7fb098147 /ajbrowser | |
| parent | 13112ba2cd7401eac88b78e0fb886384e4718170 (diff) | |
| download | aspectj-fed9393f832e8bd8da2cea2a4e55c6c49a3c2b39.tar.gz aspectj-fed9393f832e8bd8da2cea2a4e55c6c49a3c2b39.zip | |
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.
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(); |