git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 004a903) | patch
made changes to DEFAULT_BROWSER in user preferences act immediatly (instead of just...
authorjprocter <Jim Procter>
Thu, 18 Aug 2005 18:27:45 +0000 (18:27 +0000)
committerjprocter <Jim Procter>
Thu, 18 Aug 2005 18:27:45 +0000 (18:27 +0000)
commitb7384c7cb8aac557a4fcfe33fca452f9ccf583b3
tree26e6c3463e7267e3cd5518da7a783068b5dc2ff4tree | snapshot
parent004a903480d9f41447e4b6a597e3fa430083460ccommit | diff
made changes to DEFAULT_BROWSER in user preferences act immediatly (instead of just on restart).
src/jalview/gui/Preferences.java diff | blob | history
src/jalview/util/BrowserLauncher.java diff | blob | history