X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FDesktop.java;h=6d8f125cb19acd2d6b4706502ca87475be634e78;hb=dd74fc4938723fe5ec48d4e5fdcfbe58ac42a48d;hp=eb62972e6dbefa8f5e2e7e81a99e632cb4371855;hpb=e61219eaa31557203fa518aa03cba2cc651e1b84;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index eb62972..6d8f125 100755 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -19,7 +19,6 @@ package jalview.gui; import jalview.io.*; - import java.awt.*; import java.awt.datatransfer.*; import java.awt.dnd.*; @@ -47,6 +46,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; @@ -136,7 +136,7 @@ public class Desktop extends jalview.jbgui.GDesktop VamsasMenu.setVisible(true); vamsasLoad.setVisible(true); } - + } /** @@ -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,12 +246,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 +313,7 @@ public class Desktop extends jalview.jbgui.GDesktop } } catch (Exception e) - { - e.printStackTrace(); - } + { } if (files != null) { @@ -339,9 +342,7 @@ public class Desktop extends jalview.jbgui.GDesktop } } catch (Exception ex) - { - ex.printStackTrace(); - } + { } } } @@ -546,11 +547,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