git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a8458ff) | patch
No need to call repaint after font change
authoramwaterhouse <Andrew Waterhouse>
Fri, 26 Aug 2005 12:43:49 +0000 (12:43 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 26 Aug 2005 12:43:49 +0000 (12:43 +0000)
commit519ea38fa40b0d2e7b3979268f19415f14e1e888
tree9873ef161f43931f8d0fb20be28df1f8b03990e4tree | snapshot
parenta8458ff4b33d8deb7e09a39b8ce5576880f6a862commit | diff
No need to call repaint after font change
src/jalview/gui/SeqPanel.java diff | blob | history