From 8040d18e9deeb76e7c63f31f5499e369081f793c Mon Sep 17 00:00:00 2001 From: gmungoc Date: Mon, 15 Jul 2019 13:12:47 +0100 Subject: [PATCH] JAL-3032 fine tuning appearance of button --- src/jalview/gui/FeatureTypeSettings.java | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) 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 -- 1.7.10.2