diff options
Diffstat (limited to 'src/main/java/cuchaz/enigma/gui/panels')
| -rw-r--r-- | src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java | 2 |
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 { | |||
| 50 | case KeyEvent.VK_T: | 50 | case KeyEvent.VK_T: |
| 51 | gui.popupMenu.toggleMappingMenu.doClick(); | 51 | gui.popupMenu.toggleMappingMenu.doClick(); |
| 52 | break; | 52 | break; |
| 53 | case KeyEvent.VK_F5: | ||
| 54 | gui.getController().refreshCurrentClass(); | ||
| 53 | default: | 55 | default: |
| 54 | break; | 56 | break; |
| 55 | } | 57 | } |