Remap sources (#106)

* Source remapping beginnings

* Fix navigation to remapped classes

* Translate identifier info reference

* Remap local variables with default names in source

* Caching translator

* Fix lack of highlighting for first opened class

* Fix unicode variable names

* Unicode checker shouldn't be checking just alphanumeric

* Fix package tree being built from obf names

* Don't index `this` as method call for method::reference

* Apply proposed names

* Fix source export issues

* Replace unicode var names at bytecode level uniquely

* Drop imports from editor source

* Class selector fixes

* Delta keep track of base mappings to enable lookup of old names

* Optimize source remapping by remapping source with a StringBuffer instead of copying

* Bump version

1 files changed, 2 insertions, 6 deletions

diff --git a/src/main/java/cuchaz/enigma/gui/elements/MenuBar.java b/src/main/java/cuchaz/enigma/gui/elements/MenuBar.java
index f4f0277..dfbfa65 100644
--- a/src/main/java/cuchaz/enigma/gui/elements/MenuBar.java
+++ b/src/main/java/cuchaz/enigma/gui/elements/MenuBar.java
@@ -152,12 +152,8 @@ public class MenuBar extends JMenuBar {
                                         if (this.gui.getController().isDirty()) {
                                                 this.gui.showDiscardDiag((response -> {
                                                         if (response == JOptionPane.YES_OPTION) {
-                                                                try {
-                                                                        gui.saveMapping();
-                                                                        this.gui.getController().closeMappings();
-                                                                } catch (IOException e) {
-                                                                        throw new Error(e);
-                                                                }
+                                                                gui.saveMapping();
+                                                                this.gui.getController().closeMappings();
                                                         } else if (response == JOptionPane.NO_OPTION)
                                                                 this.gui.getController().closeMappings();
                                                         return null;