git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
8f86344
)
JAL-3032 fine tuning appearance of button
author
gmungoc
<g.m.carstairs@dundee.ac.uk>
Mon, 15 Jul 2019 12:12:47 +0000
(13:12 +0100)
committer
gmungoc
<g.m.carstairs@dundee.ac.uk>
Mon, 15 Jul 2019 12:12:47 +0000
(13:12 +0100)
src/jalview/gui/FeatureTypeSettings.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/FeatureTypeSettings.java
b/src/jalview/gui/FeatureTypeSettings.java
index
950dc8c
..
c3887ff
100644
(file)
--- 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