git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 67fe336) | patch
if fullid shown, resize fonts
authoramwaterhouse <Andrew Waterhouse>
Fri, 20 May 2005 13:40:07 +0000 (13:40 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 20 May 2005 13:40:07 +0000 (13:40 +0000)
commitbaf71a063ac6499b4f9dc8a03aa0f8bd60394dbe
treeb27af90f2095044166a9875b52362c0b0d9a2e90tree | snapshot
parent67fe33692d163752fd467468b18ace4a9b4eac7dcommit | diff
if fullid shown, resize fonts
src/jalview/appletgui/AlignFrame.java diff | blob | history