From fd0193fe791c3a3a9712c993b760a732f56bfde1 Mon Sep 17 00:00:00 2001
From: Thog
Date: Sat, 15 Oct 2016 16:37:23 +0200
Subject: Fix #41

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

diff --git a/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java b/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java
index 9446869a..cf3c4e93 100644
--- a/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java
+++ b/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java
@@ -3,6 +3,8 @@ package cuchaz.enigma.gui.panels;
 import java.awt.*;
 import java.awt.event.KeyAdapter;
 import java.awt.event.KeyEvent;
+import java.awt.event.MouseAdapter;
+import java.awt.event.MouseEvent;
 
 import javax.swing.JEditorPane;
 
@@ -21,6 +23,15 @@ public class PanelEditor extends JEditorPane {
         this.setCaret(new BrowserCaret());
         this.setContentType("text/java");
         this.addCaretListener(event -> gui.onCaretMove(event.getDot()));
+        final PanelEditor self = this;
+        this.addMouseListener(new MouseAdapter()
+        {
+            @Override public void mouseReleased(MouseEvent e)
+            {
+                if (e.getButton() == MouseEvent.BUTTON3)
+                    self.setCaretPosition(self.viewToModel(e.getPoint()));
+            }
+        });
         this.addKeyListener(new KeyAdapter() {
             @Override
             public void keyPressed(KeyEvent event) {
-- 
cgit v1.2.3