git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5898a0) | patch
charWidth is now an int
authoramwaterhouse <Andrew Waterhouse>
Fri, 3 Dec 2004 16:29:38 +0000 (16:29 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 3 Dec 2004 16:29:38 +0000 (16:29 +0000)
commit135c5c88011e9c85f8e60fd43e7abd581bd2f7d0
tree832d231bf57b0961a4b136f1009ad019edb608abtree | snapshot
parentc5898a03d9b066d4ccc2e22d3cb72a8ca3cc656ecommit | diff
charWidth is now an int
src/jalview/gui/OverviewPanel.java diff | blob | history