git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2377b47) | patch
printing now uses printer fonts
authoramwaterhouse <Andrew Waterhouse>
Fri, 19 Nov 2004 17:23:44 +0000 (17:23 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 19 Nov 2004 17:23:44 +0000 (17:23 +0000)
commitb7b0de15f5a7c17c0a29008b5e920a1906071d19
tree22261f9245404bba0118f5fb5231e8b41c4f533dtree | snapshot
parent2377b4763c9bfecb0527e37be59392df61f8b75ecommit | diff
printing now uses printer fonts
src/jalview/gui/AlignmentPanel.java diff | blob | history