Allow for selecting and copying text (Fix #22)

2 files changed, 3 insertions, 8 deletions

diff --git a/src/main/java/cuchaz/enigma/gui/BrowserCaret.java b/src/main/java/cuchaz/enigma/gui/BrowserCaret.java
index f9701f28..013778a2 100644
--- a/src/main/java/cuchaz/enigma/gui/BrowserCaret.java
+++ b/src/main/java/cuchaz/enigma/gui/BrowserCaret.java
@@ -15,12 +15,9 @@ import javax.swing.text.Highlighter;
 
 public class BrowserCaret extends DefaultCaret {
 
-    private static final Highlighter.HighlightPainter selectionPainter = (g, p0, p1, bounds, c) -> {
-    };
-
     @Override
     public boolean isSelectionVisible() {
-        return false;
+        return true;
     }
 
     @Override
@@ -28,8 +25,4 @@ public class BrowserCaret extends DefaultCaret {
         return true;
     }
 
-    @Override
-    public Highlighter.HighlightPainter getSelectionPainter() {
-        return this.selectionPainter;
-    }
 }
diff --git a/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java b/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java
index 6eff81c5..9446869a 100644
--- a/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java
+++ b/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java
@@ -1,5 +1,6 @@
 package cuchaz.enigma.gui.panels;
 
+import java.awt.*;
 import java.awt.event.KeyAdapter;
 import java.awt.event.KeyEvent;
 
@@ -16,6 +17,7 @@ public class PanelEditor extends JEditorPane {
         this.gui = gui;
 
         this.setEditable(false);
+        this.setSelectionColor(new Color(31, 46, 90));
         this.setCaret(new BrowserCaret());
         this.setContentType("text/java");
         this.addCaretListener(event -> gui.onCaretMove(event.getDot()));