set picking label
authoramwaterhouse <Andrew Waterhouse>
Tue, 8 May 2007 13:47:43 +0000 (13:47 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 8 May 2007 13:47:43 +0000 (13:47 +0000)
src/jalview/appletgui/AppletJmol.java
src/jalview/gui/AppJmol.java

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