X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=a1d4492c14265536f31c7dda039b9150f9e19342;hb=adab53c4c18c70862109c1fdc33904e71aa005cf;hp=b8f629abd777405ca4f25b48237a1d6293183f99;hpb=2a4301b8fdda9f4e9d77473402d9b91b51009735;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index b8f629a..a1d4492 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -21,6 +21,7 @@ package jalview.gui; import jalview.bin.Cache; +import jalview.datamodel.AlignmentI; import jalview.io.FileLoader; import jalview.io.FormatAdapter; import jalview.io.IdentifyFile; @@ -68,6 +69,7 @@ import java.lang.reflect.Constructor; import java.net.URL; import java.util.ArrayList; import java.util.Hashtable; +import java.util.List; import java.util.StringTokenizer; import java.util.Vector; import java.util.concurrent.ExecutorService; @@ -159,6 +161,8 @@ public class Desktop extends jalview.jbgui.GDesktop implements static final int yOffset = 30; + private static final int THREE = 3; + public static jalview.ws.jws1.Discoverer discoverer; public static Object[] jalviewClipboard;