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 (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 bg = textArea.getBackground();
 

+      private Color fg = textArea.getForeground();
+

       public void mousePressed(MouseEvent e)
       {
         textArea.setBackground(textArea.getSelectionColor());
       public void mousePressed(MouseEvent e)
       {
         textArea.setBackground(textArea.getSelectionColor());

+        textArea.setForeground(textArea.getSelectedTextColor());

       }
 
       public void mouseReleased(MouseEvent e)
       {
         textArea.setBackground(bg);
       }
 
       public void mouseReleased(MouseEvent e)
       {
         textArea.setBackground(bg);

+        textArea.setForeground(fg);

       }
 
     });
       }
 
     });