From fed9393f832e8bd8da2cea2a4e55c6c49a3c2b39 Mon Sep 17 00:00:00 2001
From: wisberg <wisberg>
Date: Wed, 14 May 2003 03:13:28 +0000
Subject: 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.

---
 ajbrowser/src/org/aspectj/tools/ajbrowser/BrowserManager.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ajbrowser/src')

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();
-- 
cgit v1.2.3