From bb27d9c1cc4d5c31df6bae6c469178b2b700e119 Mon Sep 17 00:00:00 2001 From: gmungoc Date: Mon, 31 Jul 2017 11:28:09 +0200 Subject: [PATCH] JAL-2623 updated Overview/structure on input of threshold value --- src/jalview/appletgui/FeatureColourChooser.java | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/jalview/appletgui/FeatureColourChooser.java b/src/jalview/appletgui/FeatureColourChooser.java index 1bc563a..72fa982 100644 --- a/src/jalview/appletgui/FeatureColourChooser.java +++ b/src/jalview/appletgui/FeatureColourChooser.java @@ -277,6 +277,11 @@ public class FeatureColourChooser extends Panel implements ActionListener, float f = new Float(thresholdValue.getText()).floatValue(); slider.setValue((int) (f * SCALE_FACTOR_1K)); adjustmentValueChanged(null); + + /* + * force repaint of any Overview window or structure + */ + changeColour(true); } catch (NumberFormatException ex) { } -- 1.7.10.2