From 1ecfa789eb230ccd658a8f1c59304bca56af8124 Mon Sep 17 00:00:00 2001 From: gmungoc Date: Fri, 26 Apr 2019 10:17:09 +0100 Subject: [PATCH] JAL-3010 borderless 'x' for "delete this filter condition" Conflicts: src/jalview/gui/FeatureTypeSettings.java --- 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 434515a..a2194f4 100644 --- a/src/jalview/gui/FeatureTypeSettings.java +++ b/src/jalview/gui/FeatureTypeSettings.java @@ -63,11 +63,10 @@ import javax.swing.JPanel; import javax.swing.JRadioButton; import javax.swing.JSlider; import javax.swing.JTextField; -import javax.swing.SwingConstants; +import javax.swing.border.EmptyBorder; import javax.swing.border.LineBorder; import javax.swing.event.ChangeEvent; import javax.swing.event.ChangeListener; -import javax.swing.plaf.basic.BasicArrowButton; /** * A dialog where the user can configure colour scheme, and any filters, for one @@ -1419,10 +1418,10 @@ public class FeatureTypeSettings extends JalviewDialog if (!patternField.isEnabled() || (pattern != null && pattern.trim().length() > 0)) { - // todo: gif for button drawing '-' or 'x' - JButton removeCondition = new BasicArrowButton(SwingConstants.WEST); + JButton removeCondition = new JButton("\u2717"); // Dingbats cursive x removeCondition.setToolTipText( MessageManager.getString("label.delete_condition")); + removeCondition.setBorder(new EmptyBorder(0, 0, 0, 0)); removeCondition.addActionListener(new ActionListener() { @Override -- 1.7.10.2