X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=45a03faf204715afdcb1c8d435983cf971acf0fb;hb=5dd663636925f44c6f964fa32fed2f584223b295;hp=9f74e3e9d2e6e0aa4e4c7a39ffeea3ece74e5ded;hpb=a452823dc1f0f02a366ea432cb161a7e1b1570ca;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 9f74e3e9..45a03fa 100755 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -47,6 +47,7 @@ public class Desktop extends jalview.jbgui.GDesktop public static jalview.ws.Discoverer discoverer; public static Object [] jalviewClipboard; + public static boolean internalCopy = false; static int fileLoadingCount= 0; @@ -208,9 +209,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,12 +247,15 @@ public class Desktop extends jalview.jbgui.GDesktop frame.setSelected(true); frame.requestFocus(); }catch(java.beans.PropertyVetoException ve) - {} + { } } public void lostOwnership(Clipboard clipboard, Transferable contents) { - Desktop.jalviewClipboard = null; + if (!internalCopy) + Desktop.jalviewClipboard = null; + + internalCopy = false; } public void dragEnter(DropTargetDragEvent evt) @@ -308,9 +314,7 @@ public class Desktop extends jalview.jbgui.GDesktop } } catch (Exception e) - { - e.printStackTrace(); - } + { } if (files != null) { @@ -339,9 +343,7 @@ public class Desktop extends jalview.jbgui.GDesktop } } catch (Exception ex) - { - ex.printStackTrace(); - } + { } } } @@ -546,11 +548,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