From: Ben Soares Date: Mon, 6 Jul 2020 14:54:52 +0000 (+0100) Subject: JAL-3676 improvement for visual selection of console text - fg color change if required X-Git-Tag: Develop-2_11_2_0-d20201215~15^2~30 X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=commitdiff_plain;h=06b6925e0f8b8b9bd1d002e6ca47c7c51c16afcd JAL-3676 improvement for visual selection of console text - fg color change if required --- diff --git a/src/jalview/gui/Console.java b/src/jalview/gui/Console.java index dc5968d..89e0134 100644 --- 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); } });