diff options
| author | 2019-02-24 11:02:59 +0200 | |
|---|---|---|
| committer | 2019-02-24 11:02:59 +0200 | |
| commit | 809052b4ed5cf77d073617912878691f865d855f (patch) | |
| tree | 43a042350672a33a35a1a817553552e04bc57874 /src/main/java/cuchaz/enigma/gui/elements | |
| parent | Fix #110 and remap indices with matched bridge method names (diff) | |
| download | enigma-fork-809052b4ed5cf77d073617912878691f865d855f.tar.gz enigma-fork-809052b4ed5cf77d073617912878691f865d855f.tar.xz enigma-fork-809052b4ed5cf77d073617912878691f865d855f.zip | |
Fix #81 -- validate renames across related classes
Diffstat (limited to 'src/main/java/cuchaz/enigma/gui/elements')
| -rw-r--r-- | src/main/java/cuchaz/enigma/gui/elements/MenuBar.java | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/main/java/cuchaz/enigma/gui/elements/MenuBar.java b/src/main/java/cuchaz/enigma/gui/elements/MenuBar.java index d7be1a9..770520b 100644 --- a/src/main/java/cuchaz/enigma/gui/elements/MenuBar.java +++ b/src/main/java/cuchaz/enigma/gui/elements/MenuBar.java | |||
| @@ -197,7 +197,11 @@ public class MenuBar extends JMenuBar { | |||
| 197 | JMenuItem search = new JMenuItem("Search"); | 197 | JMenuItem search = new JMenuItem("Search"); |
| 198 | search.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_SPACE, InputEvent.SHIFT_MASK)); | 198 | search.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_SPACE, InputEvent.SHIFT_MASK)); |
| 199 | menu.add(search); | 199 | menu.add(search); |
| 200 | search.addActionListener(event -> new SearchDialog(this.gui).show()); | 200 | search.addActionListener(event -> { |
| 201 | if (this.gui.getController().getDeobfuscator() != null) { | ||
| 202 | new SearchDialog(this.gui).show(); | ||
| 203 | } | ||
| 204 | }); | ||
| 201 | 205 | ||
| 202 | } | 206 | } |
| 203 | } | 207 | } |