summaryrefslogtreecommitdiff
path: root/src/main/java/cuchaz/enigma/gui/elements
diff options
context:
space:
mode:
authorGravatar gegy10002019-06-18 20:38:11 +0200
committerGravatar gegy10002019-06-18 20:38:11 +0200
commitc5c1ce56cd02ac5a8a5670768f27ad22e30022db (patch)
tree3d0ade50a69d6fbe5882f69dc9202b38564bfe4a /src/main/java/cuchaz/enigma/gui/elements
parentFix bad index order from enabled parallelism (diff)
downloadenigma-fork-c5c1ce56cd02ac5a8a5670768f27ad22e30022db.tar.gz
enigma-fork-c5c1ce56cd02ac5a8a5670768f27ad22e30022db.tar.xz
enigma-fork-c5c1ce56cd02ac5a8a5670768f27ad22e30022db.zip
Drop invalid mappings menu
Diffstat (limited to 'src/main/java/cuchaz/enigma/gui/elements')
-rw-r--r--src/main/java/cuchaz/enigma/gui/elements/MenuBar.java7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/main/java/cuchaz/enigma/gui/elements/MenuBar.java b/src/main/java/cuchaz/enigma/gui/elements/MenuBar.java
index 5578325..a3bd2fe 100644
--- a/src/main/java/cuchaz/enigma/gui/elements/MenuBar.java
+++ b/src/main/java/cuchaz/enigma/gui/elements/MenuBar.java
@@ -29,6 +29,7 @@ public class MenuBar extends JMenuBar {
29 public final JMenuItem saveMappingEnigmaDirectoryMenu; 29 public final JMenuItem saveMappingEnigmaDirectoryMenu;
30 public final JMenuItem saveMappingsSrgMenu; 30 public final JMenuItem saveMappingsSrgMenu;
31 public final JMenuItem closeMappingsMenu; 31 public final JMenuItem closeMappingsMenu;
32 public final JMenuItem dropMappingsMenu;
32 public final JMenuItem exportSourceMenu; 33 public final JMenuItem exportSourceMenu;
33 public final JMenuItem exportJarMenu; 34 public final JMenuItem exportJarMenu;
34 private final Gui gui; 35 private final Gui gui;
@@ -149,6 +150,12 @@ public class MenuBar extends JMenuBar {
149 }); 150 });
150 this.closeMappingsMenu = item; 151 this.closeMappingsMenu = item;
151 } 152 }
153 {
154 JMenuItem item = new JMenuItem("Drop Invalid Mappings");
155 menu.add(item);
156 item.addActionListener(event -> this.gui.getController().dropMappings());
157 this.dropMappingsMenu = item;
158 }
152 menu.addSeparator(); 159 menu.addSeparator();
153 { 160 {
154 JMenuItem item = new JMenuItem("Export Source..."); 161 JMenuItem item = new JMenuItem("Export Source...");