Added zoom for PanelEditor (#209)

* Added zoom for PanelEditor

* Updated french zoom translations. Renamed zoom function, Integer to int

1 files changed, 20 insertions, 0 deletions

diff --git a/src/main/java/cuchaz/enigma/gui/elements/PopupMenuBar.java b/src/main/java/cuchaz/enigma/gui/elements/PopupMenuBar.java
index b0fb2b0..94da1d2 100644
--- a/src/main/java/cuchaz/enigma/gui/elements/PopupMenuBar.java
+++ b/src/main/java/cuchaz/enigma/gui/elements/PopupMenuBar.java
@@ -101,5 +101,25 @@ public class PopupMenuBar extends JPopupMenu {
                         this.add(menu);
                         this.toggleMappingMenu = menu;
                 }
+                {
+                        this.add(new JSeparator());
+                }
+                {
+                        JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.zoom.in"));
+                        menu.addActionListener(event -> gui.editor.offsetEditorZoom(2));
+                        menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_PLUS, InputEvent.CTRL_MASK));
+                        this.add(menu);
+                }
+                {
+                        JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.zoom.out"));
+                        menu.addActionListener(event -> gui.editor.offsetEditorZoom(-2));
+                        menu.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_MINUS, InputEvent.CTRL_MASK));
+                        this.add(menu);
+                }
+                {
+                        JMenuItem menu = new JMenuItem(I18n.translate("popup_menu.zoom.reset"));
+                        menu.addActionListener(event -> gui.editor.resetEditorZoom());
+                        this.add(menu);
+                }
         }
 }