JAL-3383 JAL-3253-applet ScalePanel bug -- should not have to cause an
authorhansonr <hansonr@STO24954W.ad.stolaf.edu>
Mon, 29 Jul 2019 20:33:47 +0000 (15:33 -0500)
committerhansonr <hansonr@STO24954W.ad.stolaf.edu>
Mon, 29 Jul 2019 20:33:47 +0000 (15:33 -0500)
commit0cad98dc5574937f462867526318fc5a94fc2eea
treec55b96fc6901f5b14e7026e678f56c8a8f7d2575
parent7a50e26392e5943ed3b50cc46ea0e7e15f78340d
JAL-3383 JAL-3253-applet ScalePanel bug -- should not have to cause an
AlignmentPanel repaint as a result of an Overview range change.
src/jalview/gui/ScalePanel.java