From 77b4f2ace6bde7f7c41199e74b3099337384ee4d Mon Sep 17 00:00:00 2001 From: gmungoc Date: Fri, 16 Mar 2018 14:47:12 +0000 Subject: [PATCH] JAL-2922 update FeatureRenderer and repaint feature settings after Invert Selection --- src/jalview/gui/FeatureSettings.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/jalview/gui/FeatureSettings.java b/src/jalview/gui/FeatureSettings.java index 5dffa2c..12f9db9 100644 --- a/src/jalview/gui/FeatureSettings.java +++ b/src/jalview/gui/FeatureSettings.java @@ -966,7 +966,8 @@ public class FeatureSettings extends JPanel { data[i][2] = !(Boolean) data[i][2]; } - af.alignPanel.paintAlignment(true, true); + updateFeatureRenderer(data, true); + table.repaint(); } public void orderByAvWidth() -- 1.7.10.2