If alignment is closed, then undo performed in visible window
authoramwaterhouse <Andrew Waterhouse>
Thu, 23 Nov 2006 15:29:54 +0000 (15:29 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 23 Nov 2006 15:29:54 +0000 (15:29 +0000)
commit237972562c84b83dbd287071cdd839d97aaf7d4b
tree60b3e77ad931f07fd3051e9803bbc2ee293ef2ce
parentfdaa305572f6d4e0008de3ffa2233444c64b55bf
If alignment is closed, then undo performed in visible window
src/jalview/appletgui/AlignFrame.java
src/jalview/gui/AlignFrame.java