From 1377b376ecba2e996a17b3dec54a4bd7823aa9e1 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 10 May 2006 12:58:44 +0000
Subject: [PATCH] implements ClipboardOwner

---
 src/jalview/gui/Desktop.java |   11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index e735526..ab686ff 100755
--- a/src/jalview/gui/Desktop.java
+++ b/src/jalview/gui/Desktop.java
@@ -35,9 +35,10 @@ import javax.swing.*;
  * @version $Revision$
  */
 public class Desktop extends jalview.jbgui.GDesktop
-    implements DropTargetListener
+    implements DropTargetListener, ClipboardOwner
 {
     /** DOCUMENT ME!! */
+    public static Desktop instance;
     public static JDesktopPane desktop;
     static int openFrameCount = 0;
     static final int xOffset = 30;
@@ -52,8 +53,9 @@ public class Desktop extends jalview.jbgui.GDesktop
      */
     public Desktop()
     {
-        Image image = null;
+        instance = this;
 
+        Image image = null;
 
         try
         {
@@ -235,6 +237,11 @@ public class Desktop extends jalview.jbgui.GDesktop
         {}
     }
 
+    public void lostOwnership(Clipboard clipboard, Transferable contents)
+    {
+      Desktop.jalviewClipboard = null;
+    }
+
     public void dragEnter(DropTargetDragEvent evt)
     {}
 
-- 
1.7.10.2