diff options
| author | 2016-10-15 16:37:23 +0200 | |
|---|---|---|
| committer | 2016-10-15 16:37:23 +0200 | |
| commit | fd0193fe791c3a3a9712c993b760a732f56bfde1 (patch) | |
| tree | 3477e5eccc79a6e19cfdff02e0cab6417cca51f8 | |
| parent | Change method param default naming scheme (Close #42) (diff) | |
| download | enigma-fd0193fe791c3a3a9712c993b760a732f56bfde1.tar.gz enigma-fd0193fe791c3a3a9712c993b760a732f56bfde1.tar.xz enigma-fd0193fe791c3a3a9712c993b760a732f56bfde1.zip | |
Fix #41
| -rw-r--r-- | src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java | 11 |
1 files changed, 11 insertions, 0 deletions
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; | |||
| 3 | import java.awt.*; | 3 | import java.awt.*; |
| 4 | import java.awt.event.KeyAdapter; | 4 | import java.awt.event.KeyAdapter; |
| 5 | import java.awt.event.KeyEvent; | 5 | import java.awt.event.KeyEvent; |
| 6 | import java.awt.event.MouseAdapter; | ||
| 7 | import java.awt.event.MouseEvent; | ||
| 6 | 8 | ||
| 7 | import javax.swing.JEditorPane; | 9 | import javax.swing.JEditorPane; |
| 8 | 10 | ||
| @@ -21,6 +23,15 @@ public class PanelEditor extends JEditorPane { | |||
| 21 | this.setCaret(new BrowserCaret()); | 23 | this.setCaret(new BrowserCaret()); |
| 22 | this.setContentType("text/java"); | 24 | this.setContentType("text/java"); |
| 23 | this.addCaretListener(event -> gui.onCaretMove(event.getDot())); | 25 | this.addCaretListener(event -> gui.onCaretMove(event.getDot())); |
| 26 | final PanelEditor self = this; | ||
| 27 | this.addMouseListener(new MouseAdapter() | ||
| 28 | { | ||
| 29 | @Override public void mouseReleased(MouseEvent e) | ||
| 30 | { | ||
| 31 | if (e.getButton() == MouseEvent.BUTTON3) | ||
| 32 | self.setCaretPosition(self.viewToModel(e.getPoint())); | ||
| 33 | } | ||
| 34 | }); | ||
| 24 | this.addKeyListener(new KeyAdapter() { | 35 | this.addKeyListener(new KeyAdapter() { |
| 25 | @Override | 36 | @Override |
| 26 | public void keyPressed(KeyEvent event) { | 37 | public void keyPressed(KeyEvent event) { |