diff options
| author | 2019-06-18 20:38:11 +0200 | |
|---|---|---|
| committer | 2019-06-18 20:38:11 +0200 | |
| commit | c5c1ce56cd02ac5a8a5670768f27ad22e30022db (patch) | |
| tree | 3d0ade50a69d6fbe5882f69dc9202b38564bfe4a /src/main/java/cuchaz/enigma/gui | |
| parent | Fix bad index order from enabled parallelism (diff) | |
| download | enigma-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')
| -rw-r--r-- | src/main/java/cuchaz/enigma/gui/GuiController.java | 6 | ||||
| -rw-r--r-- | src/main/java/cuchaz/enigma/gui/elements/MenuBar.java | 7 |
2 files changed, 13 insertions, 0 deletions
diff --git a/src/main/java/cuchaz/enigma/gui/GuiController.java b/src/main/java/cuchaz/enigma/gui/GuiController.java index a55d2cd..4410bf3 100644 --- a/src/main/java/cuchaz/enigma/gui/GuiController.java +++ b/src/main/java/cuchaz/enigma/gui/GuiController.java | |||
| @@ -160,6 +160,12 @@ public class GuiController { | |||
| 160 | refreshCurrentClass(); | 160 | refreshCurrentClass(); |
| 161 | } | 161 | } |
| 162 | 162 | ||
| 163 | public void dropMappings() { | ||
| 164 | if (project == null) return; | ||
| 165 | |||
| 166 | ProgressDialog.runOffThread(this.gui.getFrame(), progress -> project.dropMappings(progress)); | ||
| 167 | } | ||
| 168 | |||
| 163 | public void exportSource(final Path path) { | 169 | public void exportSource(final Path path) { |
| 164 | if (project == null) return; | 170 | if (project == null) return; |
| 165 | 171 | ||
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..."); |