git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25a1c53) | patch
Use fontmetrics to tidy up display
authoramwaterhouse <Andrew Waterhouse>
Mon, 31 Oct 2005 15:54:00 +0000 (15:54 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 31 Oct 2005 15:54:00 +0000 (15:54 +0000)
commitc0fb62be71db24630c0c4d2aef1936202ca09d3e
tree96ed6e42542dcf9a8eed5c00f967398a66dcfeb5tree | snapshot
parent25a1c531a180d6d5620c0d065c3515b06464dd29commit | diff
Use fontmetrics to tidy up display
src/jalview/gui/SplashScreen.java diff | blob | history