summaryrefslogtreecommitdiff
path: root/src/main/java/cuchaz/enigma/gui/panels
diff options
context:
space:
mode:
authorGravatar gegy10002019-06-18 20:20:40 +0200
committerGravatar gegy10002019-06-18 20:20:40 +0200
commit42243fa65e1d87f6a0498f6e2d83505605409411 (patch)
treec4127d7928c752360639b42b221c96678cdc5807 /src/main/java/cuchaz/enigma/gui/panels
parentPlugin rework along with API rework: Enigma split from EnigmaProject; plugins... (diff)
parentfix unwanted declaration navigation during Quick Find (diff)
downloadenigma-fork-42243fa65e1d87f6a0498f6e2d83505605409411.tar.gz
enigma-fork-42243fa65e1d87f6a0498f6e2d83505605409411.tar.xz
enigma-fork-42243fa65e1d87f6a0498f6e2d83505605409411.zip
Mostly resolve test failures
Diffstat (limited to 'src/main/java/cuchaz/enigma/gui/panels')
-rw-r--r--src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java19
1 files changed, 16 insertions, 3 deletions
diff --git a/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java b/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java
index e8a9cad..123238f 100644
--- a/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java
+++ b/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java
@@ -16,14 +16,21 @@ import java.awt.event.MouseAdapter;
16import java.awt.event.MouseEvent; 16import java.awt.event.MouseEvent;
17 17
18public class PanelEditor extends JEditorPane { 18public class PanelEditor extends JEditorPane {
19 private boolean mouseIsPressed = false;
20
19 public PanelEditor(Gui gui) { 21 public PanelEditor(Gui gui) {
20 this.setEditable(false); 22 this.setEditable(false);
21 this.setSelectionColor(new Color(31, 46, 90)); 23 this.setSelectionColor(new Color(31, 46, 90));
22 this.setCaret(new BrowserCaret()); 24 this.setCaret(new BrowserCaret());
23 this.addCaretListener(event -> gui.onCaretMove(event.getDot())); 25 this.addCaretListener(event -> gui.onCaretMove(event.getDot(), mouseIsPressed));
24 final PanelEditor self = this; 26 final PanelEditor self = this;
25 this.addMouseListener(new MouseAdapter() { 27 this.addMouseListener(new MouseAdapter() {
26 @Override 28 @Override
29 public void mousePressed(MouseEvent mouseEvent) {
30 mouseIsPressed = true;
31 }
32
33 @Override
27 public void mouseReleased(MouseEvent e) { 34 public void mouseReleased(MouseEvent e) {
28 switch (e.getButton()) { 35 switch (e.getButton()) {
29 case MouseEvent.BUTTON3: // Right click 36 case MouseEvent.BUTTON3: // Right click
@@ -38,12 +45,15 @@ public class PanelEditor extends JEditorPane {
38 gui.getController().openNextReference(); 45 gui.getController().openNextReference();
39 break; 46 break;
40 } 47 }
48 mouseIsPressed = false;
41 } 49 }
42 }); 50 });
43 this.addKeyListener(new KeyAdapter() { 51 this.addKeyListener(new KeyAdapter() {
44 @Override 52 @Override
45 public void keyPressed(KeyEvent event) { 53 public void keyPressed(KeyEvent event) {
46 if (event.isControlDown()) { 54 if (event.isControlDown()) {
55 gui.setShouldNavigateOnClick(false);
56
47 switch (event.getKeyCode()) { 57 switch (event.getKeyCode()) {
48 case KeyEvent.VK_I: 58 case KeyEvent.VK_I:
49 gui.popupMenu.showInheritanceMenu.doClick(); 59 gui.popupMenu.showInheritanceMenu.doClick();
@@ -81,12 +91,15 @@ public class PanelEditor extends JEditorPane {
81 gui.getController().refreshCurrentClass(); 91 gui.getController().refreshCurrentClass();
82 break; 92 break;
83 93
94 case KeyEvent.VK_F:
95 // prevent navigating on click when quick find activated
96 break;
97
84 default: 98 default:
99 gui.setShouldNavigateOnClick(true); // CTRL
85 break; 100 break;
86 } 101 }
87 } 102 }
88
89 gui.setShouldNavigateOnClick(event.isControlDown());
90 } 103 }
91 104
92 @Override 105 @Override