JAL-2587 Removed annoying double repaint on hide insertions
authorkiramt <k.mourao@dundee.ac.uk>
Fri, 25 Aug 2017 13:13:48 +0000 (14:13 +0100)
committerkiramt <k.mourao@dundee.ac.uk>
Fri, 25 Aug 2017 13:13:48 +0000 (14:13 +0100)
commit58962a97c9819d186ce347072e8750dbcae16f0f
treec43c42acd1db6de1ff9713538f45f9b4b9fd647b
parent17dbe9d0029460ccd1f21f516e8ca7b8cd1bc449
JAL-2587 Removed annoying double repaint on hide insertions
src/jalview/gui/PopupMenu.java