From c2ea31129f6b373e0bf565f12f2cc99ff8c7fd52 Mon Sep 17 00:00:00 2001
From: Artem Anufrij <artem.anufrij@live.de>
Date: Wed, 16 Aug 2017 19:25:01 +0200
Subject: [PATCH] added zoom support

---
 src/WebWindow.vala | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/src/WebWindow.vala b/src/WebWindow.vala
index 6183939..c7344f3 100644
--- a/src/WebWindow.vala
+++ b/src/WebWindow.vala
@@ -84,6 +84,7 @@ namespace Webpin {
             var width = info.get_string ("WebpinWindowWidth");
             var height = info.get_string ("WebpinWindowHeight");
             var state = info.get_string ("WebpinWindowMaximized");
+            var zoom = info.get_string ("WebpinWindowZoom");
 
             if (width != null && height != null) {
                 set_default_size (int.parse(width), int.parse(height));
@@ -95,6 +96,10 @@ namespace Webpin {
                 this.maximize ();
             }
 
+            if (zoom != null) {
+                web_app.app_view.zoom_level = double.parse (zoom);
+            }
+
             this.delete_event.connect (() => {
                 update_window_state(this.get_allocated_width (), this.get_allocated_height (), this.is_maximized);
                 return false;
@@ -162,6 +167,27 @@ namespace Webpin {
             case Gdk.Key.F11:
                 toggle_fullscreen();
                 break;
+            case Gdk.Key.KP_Add:
+            case Gdk.Key.plus:
+                if (Gdk.ModifierType.CONTROL_MASK in event.state) {
+                    web_app.app_view.zoom_level += 0.1;
+                    web_app.get_desktop_file().edit_propertie ("WebpinWindowZoom", web_app.app_view.zoom_level.to_string ());
+                }
+                break;
+            case Gdk.Key.KP_Subtract:
+            case Gdk.Key.minus:
+                if (Gdk.ModifierType.CONTROL_MASK in event.state) {
+                    web_app.app_view.zoom_level -= 0.1;
+                    web_app.get_desktop_file().edit_propertie ("WebpinWindowZoom", web_app.app_view.zoom_level.to_string ());
+                }
+                break;
+            case Gdk.Key.KP_0:
+            case Gdk.Key.@0:
+                if (Gdk.ModifierType.CONTROL_MASK in event.state) {
+                    web_app.app_view.zoom_level = 1;
+                    web_app.get_desktop_file().edit_propertie ("WebpinWindowZoom", web_app.app_view.zoom_level.to_string ());
+                }
+                break;
             case Gdk.Key.F5:
                 if (Gdk.ModifierType.CONTROL_MASK in event.state) {
                     web_app.app_view.reload ();