jalviewClipboard added
authoramwaterhouse <Andrew Waterhouse>
Mon, 31 Oct 2005 15:56:21 +0000 (15:56 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 31 Oct 2005 15:56:21 +0000 (15:56 +0000)
src/jalview/gui/Desktop.java

index 9ac5a5c..ba9d9a6 100755 (executable)
@@ -19,6 +19,7 @@
 package jalview.gui;
 
 import jalview.io.*;
+import jalview.datamodel.*;
 
 import java.awt.*;
 import java.awt.datatransfer.*;
@@ -43,6 +44,10 @@ public class Desktop extends jalview.jbgui.GDesktop
     static final int xOffset = 30;
     static final int yOffset = 30;
     public static jalview.ws.Discoverer discoverer;
+
+    public static Object [] jalviewClipboard;
+
+
     /**
      * Creates a new Desktop object.
      */
@@ -50,6 +55,7 @@ public class Desktop extends jalview.jbgui.GDesktop
     {
         Image image = null;
 
+
         try
         {
             java.net.URL url = getClass().getResource("/images/logo.gif");
@@ -221,6 +227,7 @@ public class Desktop extends jalview.jbgui.GDesktop
         {}
     }
 
+
     /**
      * DOCUMENT ME!
      *