From: gmungoc Date: Mon, 15 Jul 2019 12:12:47 +0000 (+0100) Subject: JAL-3032 fine tuning appearance of button X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=8040d18e9deeb76e7c63f31f5499e369081f793c;p=jalview.git JAL-3032 fine tuning appearance of button --- diff --git a/src/jalview/gui/FeatureTypeSettings.java b/src/jalview/gui/FeatureTypeSettings.java index 950dc8c..c3887ff 100644 --- a/src/jalview/gui/FeatureTypeSettings.java +++ b/src/jalview/gui/FeatureTypeSettings.java @@ -1448,11 +1448,10 @@ public class FeatureTypeSettings extends JalviewDialog public void paint(Graphics g) { g.setColor(Color.black); - g.drawString("\u2717", 2, 14); + g.drawString("\u2717", 2, 14); // Dingbats cursive x } - }; // Dingbats cursive x - // removeCondition.setBackground(null); - // removeCondition.setBorder(null); + }; + removeCondition.setBackground(Color.WHITE); removeCondition.setOpaque(true); removeCondition.setPreferredSize(new Dimension(23, 17)); removeCondition