JAL-3676 improvement for visual selection of console text - fg color change if required
authorBen Soares <b.soares@dundee.ac.uk>
Mon, 6 Jul 2020 14:54:52 +0000 (15:54 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Mon, 6 Jul 2020 15:36:34 +0000 (16:36 +0100)
src/jalview/gui/Console.java

index d91985d..a493640 100644 (file)
@@ -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);
       }
 
     });