diff options
| author | 2019-05-12 09:47:41 +0200 | |
|---|---|---|
| committer | 2019-05-12 09:47:41 +0200 | |
| commit | 65a8ff63bae4f6f2e025e3dbf0b7b8eb64193039 (patch) | |
| tree | ae282f190a8e86a3f0be75ca168f2660d89c56f3 /src/main/java/cuchaz/enigma/gui/elements | |
| parent | Support navigation to declaration on ctrl+click (diff) | |
| download | enigma-fork-65a8ff63bae4f6f2e025e3dbf0b7b8eb64193039.tar.gz enigma-fork-65a8ff63bae4f6f2e025e3dbf0b7b8eb64193039.tar.xz enigma-fork-65a8ff63bae4f6f2e025e3dbf0b7b8eb64193039.zip | |
Add forward and backward reference history with mouse navigation (#132)
* Add History
* Add forward and backward reference history
* Update PopupMenuBar text for history
* Fix indentation
* Fix more indentation
Diffstat (limited to 'src/main/java/cuchaz/enigma/gui/elements')
| -rw-r--r-- | src/main/java/cuchaz/enigma/gui/elements/PopupMenuBar.java | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/src/main/java/cuchaz/enigma/gui/elements/PopupMenuBar.java b/src/main/java/cuchaz/enigma/gui/elements/PopupMenuBar.java index 32f9172..fbf39ac 100644 --- a/src/main/java/cuchaz/enigma/gui/elements/PopupMenuBar.java +++ b/src/main/java/cuchaz/enigma/gui/elements/PopupMenuBar.java | |||
| @@ -15,6 +15,7 @@ public class PopupMenuBar extends JPopupMenu { | |||
| 15 | public final JMenuItem showCallsSpecificMenu; | 15 | public final JMenuItem showCallsSpecificMenu; |
| 16 | public final JMenuItem openEntryMenu; | 16 | public final JMenuItem openEntryMenu; |
| 17 | public final JMenuItem openPreviousMenu; | 17 | public final JMenuItem openPreviousMenu; |
| 18 | public final JMenuItem openNextMenu; | ||
| 18 | public final JMenuItem toggleMappingMenu; | 19 | public final JMenuItem toggleMappingMenu; |
| 19 | 20 | ||
| 20 | public PopupMenuBar(Gui gui) { | 21 | public PopupMenuBar(Gui gui) { |
| @@ -60,14 +61,14 @@ public class PopupMenuBar extends JPopupMenu { | |||
| 60 | } | 61 | } |
| 61 | { | 62 | { |
| 62 | JMenuItem menu = new JMenuItem("Go to Declaration"); | 63 | JMenuItem menu = new JMenuItem("Go to Declaration"); |
| 63 | menu.addActionListener(event -> gui.navigateTo(gui.reference.entry)); | 64 | menu.addActionListener(event -> gui.getController().navigateTo(gui.cursorReference.entry)); |
| 64 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_N, 0)); | 65 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_N, 0)); |
| 65 | menu.setEnabled(false); | 66 | menu.setEnabled(false); |
| 66 | this.add(menu); | 67 | this.add(menu); |
| 67 | this.openEntryMenu = menu; | 68 | this.openEntryMenu = menu; |
| 68 | } | 69 | } |
| 69 | { | 70 | { |
| 70 | JMenuItem menu = new JMenuItem("Go to previous"); | 71 | JMenuItem menu = new JMenuItem("Go back"); |
| 71 | menu.addActionListener(event -> gui.getController().openPreviousReference()); | 72 | menu.addActionListener(event -> gui.getController().openPreviousReference()); |
| 72 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_P, 0)); | 73 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_P, 0)); |
| 73 | menu.setEnabled(false); | 74 | menu.setEnabled(false); |
| @@ -75,6 +76,14 @@ public class PopupMenuBar extends JPopupMenu { | |||
| 75 | this.openPreviousMenu = menu; | 76 | this.openPreviousMenu = menu; |
| 76 | } | 77 | } |
| 77 | { | 78 | { |
| 79 | JMenuItem menu = new JMenuItem("Go forward"); | ||
| 80 | menu.addActionListener(event -> gui.getController().openNextReference()); | ||
| 81 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_E, 0)); | ||
| 82 | menu.setEnabled(false); | ||
| 83 | this.add(menu); | ||
| 84 | this.openNextMenu = menu; | ||
| 85 | } | ||
| 86 | { | ||
| 78 | JMenuItem menu = new JMenuItem("Mark as deobfuscated"); | 87 | JMenuItem menu = new JMenuItem("Mark as deobfuscated"); |
| 79 | menu.addActionListener(event -> gui.toggleMapping()); | 88 | menu.addActionListener(event -> gui.toggleMapping()); |
| 80 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_O, 0)); | 89 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_O, 0)); |