git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c9da55) | patch
Use font.getName, not font.getFontName
authoramwaterhouse <Andrew Waterhouse>
Tue, 2 Aug 2005 09:23:10 +0000 (09:23 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 2 Aug 2005 09:23:10 +0000 (09:23 +0000)
commitb8d09897dacc7b0ad203982b4578e2c1d8929142
tree0fdaa1a41fdb4e497273b891f43089b8557b6ab2tree | snapshot
parent7c9da5584b986ed396f5ff90b35a9fc1c79daec4commit | diff
Use font.getName, not font.getFontName
src/jalview/gui/Jalview2XML.java diff | blob | history