]> source.dussan.org Git - aspectj.git/commit
No functionality change.
authorwisberg <wisberg>
Wed, 14 May 2003 03:13:28 +0000 (03:13 +0000)
committerwisberg <wisberg>
Wed, 14 May 2003 03:13:28 +0000 (03:13 +0000)
commitfed9393f832e8bd8da2cea2a4e55c6c49a3c2b39
treeafe18a425ca7aa8d4a333c2734e734d7fb098147
parent13112ba2cd7401eac88b78e0fb886384e4718170
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