X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=7031e992a59df6342faf52acb971853987e8fb0d;hb=b69e028fe41a867e72cda2a6d69182ff0c6bd90e;hp=9f74e3e9d2e6e0aa4e4c7a39ffeea3ece74e5ded;hpb=a452823dc1f0f02a366ea432cb161a7e1b1570ca;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 9f74e3e9..7031e99 100755 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -208,9 +208,11 @@ public class Desktop extends jalview.jbgui.GDesktop } + public void internalFrameClosed( javax.swing.event.InternalFrameEvent evt) { + PaintRefresher.RemoveComponent(frame); openFrameCount--; windowMenu.remove(menuItem); JInternalFrame itf = desktop.getSelectedFrame(); @@ -244,7 +246,7 @@ public class Desktop extends jalview.jbgui.GDesktop frame.setSelected(true); frame.requestFocus(); }catch(java.beans.PropertyVetoException ve) - {} + { } } public void lostOwnership(Clipboard clipboard, Transferable contents) @@ -308,9 +310,7 @@ public class Desktop extends jalview.jbgui.GDesktop } } catch (Exception e) - { - e.printStackTrace(); - } + { } if (files != null) { @@ -339,9 +339,7 @@ public class Desktop extends jalview.jbgui.GDesktop } } catch (Exception ex) - { - ex.printStackTrace(); - } + { } } } @@ -546,11 +544,93 @@ public class Desktop extends jalview.jbgui.GDesktop hb.setDisplayed(true); } catch (Exception ex) + { } + } + + public void closeAll_actionPerformed(ActionEvent e) + { + JInternalFrame [] frames = desktop.getAllFrames(); + for(int i=0; i