git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 35b5211) | patch
(JAL-985,JAL-986) allow different ID margin calculation for on and off screen rendering
authorjprocter <jprocter@compbio.dundee.ac.uk>
Wed, 9 Nov 2011 14:23:13 +0000 (14:23 +0000)
committerjprocter <jprocter@compbio.dundee.ac.uk>
Wed, 9 Nov 2011 14:23:13 +0000 (14:23 +0000)
commit299fbd01c9a02a8010cbba3885c1b958b15c16b2
tree92628b59795ea26bb35f2feddf47e189d1862361tree | snapshot
parent35b5211f569ab800af33ac7ac3b95171dfcf79cccommit | diff
(JAL-985,JAL-986) allow different ID margin calculation for on and off screen rendering
src/jalview/gui/AlignmentPanel.java diff | blob | history