git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c95361) | patch
Properties file is used in preference to viewport/cache/preferences replicating defaults
authoramwaterhouse <Andrew Waterhouse>
Tue, 9 Aug 2005 16:47:21 +0000 (16:47 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 9 Aug 2005 16:47:21 +0000 (16:47 +0000)
commitd85d2bf55610bc799dd67d7f9ed6b494632e5420
tree95ba37e6076e4de56d78f52c0c249c74eba4a678tree | snapshot
parent5c95361b0e596533c3967cee0e908e6c2e4996fdcommit | diff
Properties file is used in preference to viewport/cache/preferences replicating defaults
src/jalview/bin/Cache.java diff | blob | history
src/jalview/bin/Jalview.java diff | blob | history
src/jalview/gui/AlignViewport.java diff | blob | history