From d4eab18648bea26ef348045e9eba0a651292c4c5 Mon Sep 17 00:00:00 2001
From: Thog
Date: Tue, 13 Sep 2016 12:11:32 +0200
Subject: Allow for selecting and copying text (Fix #22)

---
 src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/main/java/cuchaz/enigma/gui/panels')

diff --git a/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java b/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java
index 6eff81c..9446869 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()));
-- 
cgit v1.2.3