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/dialog | |
| 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/dialog')
| -rw-r--r-- | src/main/java/cuchaz/enigma/gui/dialog/CrashDialog.java | 2 | ||||
| -rw-r--r-- | src/main/java/cuchaz/enigma/gui/dialog/JavadocDialog.java | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/main/java/cuchaz/enigma/gui/dialog/CrashDialog.java b/src/main/java/cuchaz/enigma/gui/dialog/CrashDialog.java index 3921b51..78b1d75 100644 --- a/src/main/java/cuchaz/enigma/gui/dialog/CrashDialog.java +++ b/src/main/java/cuchaz/enigma/gui/dialog/CrashDialog.java | |||
| @@ -83,7 +83,7 @@ public class CrashDialog { | |||
| 83 | // show the frame | 83 | // show the frame |
| 84 | frame.setSize(600, 400); | 84 | frame.setSize(600, 400); |
| 85 | frame.setLocationRelativeTo(parent); | 85 | frame.setLocationRelativeTo(parent); |
| 86 | frame.setDefaultCloseOperation(WindowConstants.DO_NOTHING_ON_CLOSE); | 86 | frame.setDefaultCloseOperation(WindowConstants.DISPOSE_ON_CLOSE); |
| 87 | } | 87 | } |
| 88 | 88 | ||
| 89 | public static void init(JFrame parent) { | 89 | public static void init(JFrame parent) { |
diff --git a/src/main/java/cuchaz/enigma/gui/dialog/JavadocDialog.java b/src/main/java/cuchaz/enigma/gui/dialog/JavadocDialog.java index 57811ee..033318a 100644 --- a/src/main/java/cuchaz/enigma/gui/dialog/JavadocDialog.java +++ b/src/main/java/cuchaz/enigma/gui/dialog/JavadocDialog.java | |||
| @@ -74,7 +74,7 @@ public class JavadocDialog { | |||
| 74 | // show the frame | 74 | // show the frame |
| 75 | frame.setSize(600, 400); | 75 | frame.setSize(600, 400); |
| 76 | frame.setLocationRelativeTo(parent); | 76 | frame.setLocationRelativeTo(parent); |
| 77 | frame.setDefaultCloseOperation(WindowConstants.DO_NOTHING_ON_CLOSE); | 77 | frame.setDefaultCloseOperation(WindowConstants.DISPOSE_ON_CLOSE); |
| 78 | } | 78 | } |
| 79 | 79 | ||
| 80 | public static void init(JFrame parent, JTextArea area, Callback callback) { | 80 | public static void init(JFrame parent, JTextArea area, Callback callback) { |