diff options
| author | 2020-04-18 15:02:51 +0200 | |
|---|---|---|
| committer | 2020-04-18 14:02:51 +0100 | |
| commit | 7f1a5c1e84b1e434ce3ac4571a2906b8fd40382c (patch) | |
| tree | 5ba6890fd132cf41580918635f8ae3da05fb3281 /src/main/java/cuchaz/enigma/gui/elements | |
| parent | Fix a few bugs (#219) (diff) | |
| download | enigma-fork-7f1a5c1e84b1e434ce3ac4571a2906b8fd40382c.tar.gz enigma-fork-7f1a5c1e84b1e434ce3ac4571a2906b8fd40382c.tar.xz enigma-fork-7f1a5c1e84b1e434ce3ac4571a2906b8fd40382c.zip | |
QOL fixes (#222)
* qol fixes
* ctrl_mask -> ctrl_down_mask
* reverted deobfuscation change
Diffstat (limited to 'src/main/java/cuchaz/enigma/gui/elements')
| -rw-r--r-- | src/main/java/cuchaz/enigma/gui/elements/MenuBar.java | 32 | ||||
| -rw-r--r-- | src/main/java/cuchaz/enigma/gui/elements/PopupMenuBar.java | 24 |
2 files changed, 35 insertions, 21 deletions
diff --git a/src/main/java/cuchaz/enigma/gui/elements/MenuBar.java b/src/main/java/cuchaz/enigma/gui/elements/MenuBar.java index 185e83c..f3bf69a 100644 --- a/src/main/java/cuchaz/enigma/gui/elements/MenuBar.java +++ b/src/main/java/cuchaz/enigma/gui/elements/MenuBar.java | |||
| @@ -8,7 +8,6 @@ import cuchaz.enigma.gui.dialog.SearchDialog; | |||
| 8 | import cuchaz.enigma.gui.stats.StatsMember; | 8 | import cuchaz.enigma.gui.stats.StatsMember; |
| 9 | import cuchaz.enigma.translation.mapping.serde.MappingFormat; | 9 | import cuchaz.enigma.translation.mapping.serde.MappingFormat; |
| 10 | import cuchaz.enigma.utils.I18n; | 10 | import cuchaz.enigma.utils.I18n; |
| 11 | import cuchaz.enigma.utils.Utils; | ||
| 12 | 11 | ||
| 13 | import javax.swing.*; | 12 | import javax.swing.*; |
| 14 | import java.awt.*; | 13 | import java.awt.*; |
| @@ -40,6 +39,9 @@ public class MenuBar extends JMenuBar { | |||
| 40 | public MenuBar(Gui gui) { | 39 | public MenuBar(Gui gui) { |
| 41 | this.gui = gui; | 40 | this.gui = gui; |
| 42 | 41 | ||
| 42 | /* | ||
| 43 | * File menu | ||
| 44 | */ | ||
| 43 | { | 45 | { |
| 44 | JMenu menu = new JMenu(I18n.translate("menu.file")); | 46 | JMenu menu = new JMenu(I18n.translate("menu.file")); |
| 45 | this.add(menu); | 47 | this.add(menu); |
| @@ -48,9 +50,14 @@ public class MenuBar extends JMenuBar { | |||
| 48 | menu.add(item); | 50 | menu.add(item); |
| 49 | item.addActionListener(event -> { | 51 | item.addActionListener(event -> { |
| 50 | this.gui.jarFileChooser.setVisible(true); | 52 | this.gui.jarFileChooser.setVisible(true); |
| 51 | Path path = Paths.get(this.gui.jarFileChooser.getDirectory()).resolve(this.gui.jarFileChooser.getFile()); | 53 | String file = this.gui.jarFileChooser.getFile(); |
| 52 | if (Files.exists(path)) { | 54 | // checks if the file name is not empty |
| 53 | gui.getController().openJar(path); | 55 | if (file != null) { |
| 56 | Path path = Paths.get(this.gui.jarFileChooser.getDirectory()).resolve(file); | ||
| 57 | // checks if the file name corresponds to an existing file | ||
| 58 | if (Files.exists(path)) { | ||
| 59 | gui.getController().openJar(path); | ||
| 60 | } | ||
| 54 | } | 61 | } |
| 55 | }); | 62 | }); |
| 56 | } | 63 | } |
| @@ -189,6 +196,7 @@ public class MenuBar extends JMenuBar { | |||
| 189 | 196 | ||
| 190 | pane.add(button); | 197 | pane.add(button); |
| 191 | frame.pack(); | 198 | frame.pack(); |
| 199 | frame.setLocationRelativeTo(this.gui.getFrame()); | ||
| 192 | frame.setVisible(true); | 200 | frame.setVisible(true); |
| 193 | }); | 201 | }); |
| 194 | 202 | ||
| @@ -202,6 +210,9 @@ public class MenuBar extends JMenuBar { | |||
| 202 | } | 210 | } |
| 203 | } | 211 | } |
| 204 | 212 | ||
| 213 | /* | ||
| 214 | * Decompiler menu | ||
| 215 | */ | ||
| 205 | { | 216 | { |
| 206 | JMenu menu = new JMenu(I18n.translate("menu.decompiler")); | 217 | JMenu menu = new JMenu(I18n.translate("menu.decompiler")); |
| 207 | add(menu); | 218 | add(menu); |
| @@ -222,6 +233,9 @@ public class MenuBar extends JMenuBar { | |||
| 222 | } | 233 | } |
| 223 | } | 234 | } |
| 224 | 235 | ||
| 236 | /* | ||
| 237 | * View menu | ||
| 238 | */ | ||
| 225 | { | 239 | { |
| 226 | JMenu menu = new JMenu(I18n.translate("menu.view")); | 240 | JMenu menu = new JMenu(I18n.translate("menu.view")); |
| 227 | this.add(menu); | 241 | this.add(menu); |
| @@ -250,16 +264,12 @@ public class MenuBar extends JMenuBar { | |||
| 250 | pane.add(text); | 264 | pane.add(text); |
| 251 | 265 | ||
| 252 | JButton okButton = new JButton(I18n.translate("menu.view.languages.ok")); | 266 | JButton okButton = new JButton(I18n.translate("menu.view.languages.ok")); |
| 253 | okButton.setAlignmentX(JButton.CENTER_ALIGNMENT); | ||
| 254 | okButton.setHorizontalAlignment(JButton.CENTER); | ||
| 255 | pane.add(okButton); | 267 | pane.add(okButton); |
| 256 | okButton.addActionListener(arg0 -> frame.dispose()); | 268 | okButton.addActionListener(arg0 -> frame.dispose()); |
| 257 | 269 | ||
| 258 | frame.setSize(350, 110); | 270 | frame.pack(); |
| 259 | frame.setResizable(false); | ||
| 260 | frame.setLocationRelativeTo(this.gui.getFrame()); | 271 | frame.setLocationRelativeTo(this.gui.getFrame()); |
| 261 | frame.setVisible(true); | 272 | frame.setVisible(true); |
| 262 | frame.setDefaultCloseOperation(WindowConstants.DISPOSE_ON_CLOSE); | ||
| 263 | }); | 273 | }); |
| 264 | } | 274 | } |
| 265 | 275 | ||
| @@ -274,6 +284,10 @@ public class MenuBar extends JMenuBar { | |||
| 274 | 284 | ||
| 275 | } | 285 | } |
| 276 | } | 286 | } |
| 287 | |||
| 288 | /* | ||
| 289 | * Help menu | ||
| 290 | */ | ||
| 277 | { | 291 | { |
| 278 | JMenu menu = new JMenu(I18n.translate("menu.help")); | 292 | JMenu menu = new JMenu(I18n.translate("menu.help")); |
| 279 | this.add(menu); | 293 | this.add(menu); |
diff --git a/src/main/java/cuchaz/enigma/gui/elements/PopupMenuBar.java b/src/main/java/cuchaz/enigma/gui/elements/PopupMenuBar.java index 94da1d2..b92041c 100644 --- a/src/main/java/cuchaz/enigma/gui/elements/PopupMenuBar.java +++ b/src/main/java/cuchaz/enigma/gui/elements/PopupMenuBar.java | |||
| @@ -24,7 +24,7 @@ public class PopupMenuBar extends JPopupMenu { | |||
| 24 | { | 24 | { |
| 25 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.rename")); | 25 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.rename")); |
| 26 | menu.addActionListener(event -> gui.startRename()); | 26 | menu.addActionListener(event -> gui.startRename()); |
| 27 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_R, 0)); | 27 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_R, InputEvent.CTRL_DOWN_MASK)); |
| 28 | menu.setEnabled(false); | 28 | menu.setEnabled(false); |
| 29 | this.add(menu); | 29 | this.add(menu); |
| 30 | this.renameMenu = menu; | 30 | this.renameMenu = menu; |
| @@ -32,7 +32,7 @@ public class PopupMenuBar extends JPopupMenu { | |||
| 32 | { | 32 | { |
| 33 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.javadoc")); | 33 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.javadoc")); |
| 34 | menu.addActionListener(event -> gui.startDocChange()); | 34 | menu.addActionListener(event -> gui.startDocChange()); |
| 35 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_D, 0)); | 35 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_D, InputEvent.CTRL_DOWN_MASK)); |
| 36 | menu.setEnabled(false); | 36 | menu.setEnabled(false); |
| 37 | this.add(menu); | 37 | this.add(menu); |
| 38 | this.editJavadocMenu = menu; | 38 | this.editJavadocMenu = menu; |
| @@ -40,7 +40,7 @@ public class PopupMenuBar extends JPopupMenu { | |||
| 40 | { | 40 | { |
| 41 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.inheritance")); | 41 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.inheritance")); |
| 42 | menu.addActionListener(event -> gui.showInheritance()); | 42 | menu.addActionListener(event -> gui.showInheritance()); |
| 43 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_I, 0)); | 43 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_I, InputEvent.CTRL_DOWN_MASK)); |
| 44 | menu.setEnabled(false); | 44 | menu.setEnabled(false); |
| 45 | this.add(menu); | 45 | this.add(menu); |
| 46 | this.showInheritanceMenu = menu; | 46 | this.showInheritanceMenu = menu; |
| @@ -48,7 +48,7 @@ public class PopupMenuBar extends JPopupMenu { | |||
| 48 | { | 48 | { |
| 49 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.implementations")); | 49 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.implementations")); |
| 50 | menu.addActionListener(event -> gui.showImplementations()); | 50 | menu.addActionListener(event -> gui.showImplementations()); |
| 51 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_M, 0)); | 51 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_M, InputEvent.CTRL_DOWN_MASK)); |
| 52 | menu.setEnabled(false); | 52 | menu.setEnabled(false); |
| 53 | this.add(menu); | 53 | this.add(menu); |
| 54 | this.showImplementationsMenu = menu; | 54 | this.showImplementationsMenu = menu; |
| @@ -56,7 +56,7 @@ public class PopupMenuBar extends JPopupMenu { | |||
| 56 | { | 56 | { |
| 57 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.calls")); | 57 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.calls")); |
| 58 | menu.addActionListener(event -> gui.showCalls(true)); | 58 | menu.addActionListener(event -> gui.showCalls(true)); |
| 59 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_C, 0)); | 59 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_C, InputEvent.CTRL_DOWN_MASK)); |
| 60 | menu.setEnabled(false); | 60 | menu.setEnabled(false); |
| 61 | this.add(menu); | 61 | this.add(menu); |
| 62 | this.showCallsMenu = menu; | 62 | this.showCallsMenu = menu; |
| @@ -64,7 +64,7 @@ public class PopupMenuBar extends JPopupMenu { | |||
| 64 | { | 64 | { |
| 65 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.calls.specific")); | 65 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.calls.specific")); |
| 66 | menu.addActionListener(event -> gui.showCalls(false)); | 66 | menu.addActionListener(event -> gui.showCalls(false)); |
| 67 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_C, InputEvent.SHIFT_DOWN_MASK)); | 67 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_C, InputEvent.CTRL_DOWN_MASK + InputEvent.SHIFT_DOWN_MASK)); |
| 68 | menu.setEnabled(false); | 68 | menu.setEnabled(false); |
| 69 | this.add(menu); | 69 | this.add(menu); |
| 70 | this.showCallsSpecificMenu = menu; | 70 | this.showCallsSpecificMenu = menu; |
| @@ -72,7 +72,7 @@ public class PopupMenuBar extends JPopupMenu { | |||
| 72 | { | 72 | { |
| 73 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.declaration")); | 73 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.declaration")); |
| 74 | menu.addActionListener(event -> gui.getController().navigateTo(gui.cursorReference.entry)); | 74 | menu.addActionListener(event -> gui.getController().navigateTo(gui.cursorReference.entry)); |
| 75 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_N, 0)); | 75 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_N, InputEvent.CTRL_DOWN_MASK)); |
| 76 | menu.setEnabled(false); | 76 | menu.setEnabled(false); |
| 77 | this.add(menu); | 77 | this.add(menu); |
| 78 | this.openEntryMenu = menu; | 78 | this.openEntryMenu = menu; |
| @@ -80,7 +80,7 @@ public class PopupMenuBar extends JPopupMenu { | |||
| 80 | { | 80 | { |
| 81 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.back")); | 81 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.back")); |
| 82 | menu.addActionListener(event -> gui.getController().openPreviousReference()); | 82 | menu.addActionListener(event -> gui.getController().openPreviousReference()); |
| 83 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_P, 0)); | 83 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_P, InputEvent.CTRL_DOWN_MASK)); |
| 84 | menu.setEnabled(false); | 84 | menu.setEnabled(false); |
| 85 | this.add(menu); | 85 | this.add(menu); |
| 86 | this.openPreviousMenu = menu; | 86 | this.openPreviousMenu = menu; |
| @@ -88,7 +88,7 @@ public class PopupMenuBar extends JPopupMenu { | |||
| 88 | { | 88 | { |
| 89 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.forward")); | 89 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.forward")); |
| 90 | menu.addActionListener(event -> gui.getController().openNextReference()); | 90 | menu.addActionListener(event -> gui.getController().openNextReference()); |
| 91 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_E, 0)); | 91 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_E, InputEvent.CTRL_DOWN_MASK)); |
| 92 | menu.setEnabled(false); | 92 | menu.setEnabled(false); |
| 93 | this.add(menu); | 93 | this.add(menu); |
| 94 | this.openNextMenu = menu; | 94 | this.openNextMenu = menu; |
| @@ -96,7 +96,7 @@ public class PopupMenuBar extends JPopupMenu { | |||
| 96 | { | 96 | { |
| 97 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.mark_deobfuscated")); | 97 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.mark_deobfuscated")); |
| 98 | menu.addActionListener(event -> gui.toggleMapping()); | 98 | menu.addActionListener(event -> gui.toggleMapping()); |
| 99 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_O, 0)); | 99 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_O, InputEvent.CTRL_DOWN_MASK)); |
| 100 | menu.setEnabled(false); | 100 | menu.setEnabled(false); |
| 101 | this.add(menu); | 101 | this.add(menu); |
| 102 | this.toggleMappingMenu = menu; | 102 | this.toggleMappingMenu = menu; |
| @@ -107,13 +107,13 @@ public class PopupMenuBar extends JPopupMenu { | |||
| 107 | { | 107 | { |
| 108 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.zoom.in")); | 108 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.zoom.in")); |
| 109 | menu.addActionListener(event -> gui.editor.offsetEditorZoom(2)); | 109 | menu.addActionListener(event -> gui.editor.offsetEditorZoom(2)); |
| 110 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_PLUS, InputEvent.CTRL_MASK)); | 110 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_PLUS, InputEvent.CTRL_DOWN_MASK)); |
| 111 | this.add(menu); | 111 | this.add(menu); |
| 112 | } | 112 | } |
| 113 | { | 113 | { |
| 114 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.zoom.out")); | 114 | JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.zoom.out")); |
| 115 | menu.addActionListener(event -> gui.editor.offsetEditorZoom(-2)); | 115 | menu.addActionListener(event -> gui.editor.offsetEditorZoom(-2)); |
| 116 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_MINUS, InputEvent.CTRL_MASK)); | 116 | menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_MINUS, InputEvent.CTRL_DOWN_MASK)); |
| 117 | this.add(menu); | 117 | this.add(menu); |
| 118 | } | 118 | } |
| 119 | { | 119 | { |