Add F5 hotkey to reload class + use a ugly hack to avoid rename issues with generics...

1 files changed, 2 insertions, 0 deletions

diff --git a/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java b/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java
index 1c0ee9e..8bf4ed6 100644
--- a/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java
+++ b/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java
@@ -50,6 +50,8 @@ public class PanelEditor extends JEditorPane {
                     case KeyEvent.VK_T:
                         gui.popupMenu.toggleMappingMenu.doClick();
                         break;
+                    case KeyEvent.VK_F5:
+                        gui.getController().refreshCurrentClass();
                     default:
                         break;
                 }