From 0bc78d57a860789efa2c5af1fd2600f09332e78e Mon Sep 17 00:00:00 2001
From: Thog
Date: Sun, 14 Aug 2016 15:58:58 +0200
Subject: Add F5 hotkey to reload class + use a ugly hack to avoid rename
 issues with generics...

---
 src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/main/java/cuchaz/enigma/gui/panels')

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;
                 }
-- 
cgit v1.2.3