From bc602371e44210748b5cb75e24afc14818f3e726 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Tue, 22 May 2007 14:25:38 +0000 Subject: [PATCH] DONT SET PICKING LABEL --- src/jalview/appletgui/AppletJmol.java | 3 --- src/jalview/gui/AppJmol.java | 2 -- 2 files changed, 5 deletions(-) diff --git a/src/jalview/appletgui/AppletJmol.java b/src/jalview/appletgui/AppletJmol.java index e324c85..f64014b 100644 --- a/src/jalview/appletgui/AppletJmol.java +++ b/src/jalview/appletgui/AppletJmol.java @@ -664,9 +664,6 @@ 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 c8cd3e3..c082463 100644 --- a/src/jalview/gui/AppJmol.java +++ b/src/jalview/gui/AppJmol.java @@ -785,8 +785,6 @@ public synchronized void addSequence(SequenceI [] seq) if (fr!=null) fr.featuresAdded(); - viewer.evalStringQuiet("set picking label"); - loadingFromArchive = false; } else -- 1.7.10.2