DONT SET PICKING LABEL
authoramwaterhouse <Andrew Waterhouse>
Tue, 22 May 2007 14:25:38 +0000 (14:25 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 22 May 2007 14:25:38 +0000 (14:25 +0000)
src/jalview/appletgui/AppletJmol.java
src/jalview/gui/AppJmol.java

index e324c85..f64014b 100644 (file)
@@ -664,9 +664,6 @@ public class AppletJmol extends Frame
         }
       }
 
-
-      viewer.evalStringQuiet("set picking label");
-
       this.setTitle(title.toString());
 
     }
index c8cd3e3..c082463 100644 (file)
@@ -785,8 +785,6 @@ public synchronized void addSequence(SequenceI [] seq)
       if (fr!=null)
         fr.featuresAdded();
 
-      viewer.evalStringQuiet("set picking label");
-
       loadingFromArchive = false;
     }
     else