From: amwaterhouse Date: Tue, 8 May 2007 13:47:43 +0000 (+0000) Subject: set picking label X-Git-Tag: Release_2_3~33 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=6a6c0b4448d214cea2af19f7d55b6189d0759048;p=jalview.git set picking label --- diff --git a/src/jalview/appletgui/AppletJmol.java b/src/jalview/appletgui/AppletJmol.java index f64014b..e324c85 100644 --- a/src/jalview/appletgui/AppletJmol.java +++ b/src/jalview/appletgui/AppletJmol.java @@ -664,6 +664,9 @@ public class AppletJmol extends Frame } } + + viewer.evalStringQuiet("set picking label"); + this.setTitle(title.toString()); } diff --git a/src/jalview/gui/AppJmol.java b/src/jalview/gui/AppJmol.java index c082463..c8cd3e3 100644 --- a/src/jalview/gui/AppJmol.java +++ b/src/jalview/gui/AppJmol.java @@ -785,6 +785,8 @@ public synchronized void addSequence(SequenceI [] seq) if (fr!=null) fr.featuresAdded(); + viewer.evalStringQuiet("set picking label"); + loadingFromArchive = false; } else