If alignment is closed, then undo performed in visible window
authoramwaterhouse <Andrew Waterhouse>
Thu, 23 Nov 2006 15:32:42 +0000 (15:32 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 23 Nov 2006 15:32:42 +0000 (15:32 +0000)
commitd5912abc02b0fd206d9705cf13a0383f09d3d951
tree3fd3a40e7bd1d27fed40148c5cb4f9cfb56180dd
parent237972562c84b83dbd287071cdd839d97aaf7d4b
If alignment is closed, then undo performed in visible window
src/jalview/appletgui/AlignFrame.java
src/jalview/gui/AlignFrame.java