minimize and raise associated windows
authoramwaterhouse <Andrew Waterhouse>
Tue, 14 Nov 2006 18:05:02 +0000 (18:05 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 14 Nov 2006 18:05:02 +0000 (18:05 +0000)
commit35cf59b3c7c1080f98763b0c82b2fb73978991fa
tree6162a3326d40feda9f63c26fc7709161fdd8582b
parentecb17944a46a539f55668158515dcd48b07e42c8
minimize and raise associated windows
src/jalview/gui/Desktop.java
src/jalview/jbgui/GDesktop.java