viewport.hasHiddenColumns updated after undo/redo performed
authoramwaterhouse <Andrew Waterhouse>
Wed, 25 Oct 2006 14:03:43 +0000 (14:03 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 25 Oct 2006 14:03:43 +0000 (14:03 +0000)
commit75c30f2d281938dd7b78bbf5dd28bef31fd19a70
tree7829a2373128bc0a74add8a3865647a22d244ed5
parent734272bb8bb9a23ba5bea463b948a49e4a366fb7
viewport.hasHiddenColumns updated after undo/redo performed
src/jalview/gui/AlignFrame.java