If alignment is closed, then undo performed in visible window
authoramwaterhouse <Andrew Waterhouse>
Thu, 23 Nov 2006 15:18:17 +0000 (15:18 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 23 Nov 2006 15:18:17 +0000 (15:18 +0000)
commitb21920d2355ae42bdada6dfc0c42614aa0539137
tree0181e88564ec5f28b7e951c92bdebb017748d4f0
parentf1bef1a257c565ebf63ff5f55e62f48329f5bf81
If alignment is closed, then undo performed in visible window
src/jalview/appletgui/AlignFrame.java
src/jalview/gui/AlignFrame.java