git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 67f546e) | patch
JAL-1640 make font-size changes modify grid size again
authorJim Procter <jprocter@dundee.ac.uk>
Tue, 10 Feb 2015 17:08:51 +0000 (17:08 +0000)
committerJim Procter <jprocter@dundee.ac.uk>
Tue, 10 Feb 2015 17:08:51 +0000 (17:08 +0000)
commitd7741c79bfa6edfc16a431a56e6ed56b464ef13a
treea0b61f60f89ca177c18de0477159d29664f55a41tree | snapshot
parent67f546e39d0c247fef34a5fbb7ac841be7bae5becommit | diff
JAL-1640 make font-size changes modify grid size again
src/jalview/gui/AlignViewport.java diff | blob | history