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:
4f1c8f3
)
JAL-3628 improvement for visual selection of console text - fg color change if required
author
Ben Soares
<b.soares@dundee.ac.uk>
Mon, 6 Jul 2020 14:54:52 +0000
(15:54 +0100)
committer
Ben Soares
<b.soares@dundee.ac.uk>
Mon, 6 Jul 2020 14:54:52 +0000
(15:54 +0100)
src/jalview/gui/Console.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/Console.java
b/src/jalview/gui/Console.java
index
d91985d
..
a493640
100644
(file)
--- a/
src/jalview/gui/Console.java
+++ b/
src/jalview/gui/Console.java
@@
-144,14
+144,18
@@
public class Console extends WindowAdapter
{
private Color bg = textArea.getBackground();
+ private Color fg = textArea.getForeground();
+
public void mousePressed(MouseEvent e)
{
textArea.setBackground(textArea.getSelectionColor());
+ textArea.setForeground(textArea.getSelectedTextColor());
}
public void mouseReleased(MouseEvent e)
{
textArea.setBackground(bg);
+ textArea.setForeground(fg);
}
});