From 6a6c0b4448d214cea2af19f7d55b6189d0759048 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Tue, 8 May 2007 13:47:43 +0000 Subject: [PATCH] set picking label --- src/jalview/appletgui/AppletJmol.java | 3 +++ src/jalview/gui/AppJmol.java | 2 ++ 2 files changed, 5 insertions(+) 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 -- 1.7.10.2