hide idwidthadjuster if wrapped
authoramwaterhouse <Andrew Waterhouse>
Mon, 21 Mar 2005 18:45:18 +0000 (18:45 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 21 Mar 2005 18:45:18 +0000 (18:45 +0000)
commit7a153c72e8f1f8ccad77452c64ab94fa774bd79a
tree1f9da215e84ca571813d3db6b0a710758e3219ae
parentb08c4a331a047b06a5e57d01961cec991826876d
hide idwidthadjuster if wrapped
src/jalview/gui/AlignmentPanel.java