get idWidth should use italic font when getting size
authoramwaterhouse <Andrew Waterhouse>
Mon, 11 Sep 2006 15:42:43 +0000 (15:42 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 11 Sep 2006 15:42:43 +0000 (15:42 +0000)
commitf07bd6beab15adeb8c314adaf4ae9ef63dafd5d4
treea6e5a0b7de53d1e659eba590d5b300f226552cee
parent9693242bcb97efe77f9bad5be68c4984358a0de5
get idWidth should use italic font when getting size
src/jalview/gui/AlignmentPanel.java