From dc086591fa34a2300ced27f83fc8b813e4ad69cc Mon Sep 17 00:00:00 2001 From: Artem Anufrij Date: Wed, 16 Aug 2017 19:27:51 +0200 Subject: [PATCH] added zoom support --- src/WebWindow.vala | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/WebWindow.vala b/src/WebWindow.vala index c7344f3..e0c11a6 100644 --- a/src/WebWindow.vala +++ b/src/WebWindow.vala @@ -172,6 +172,8 @@ namespace Webpin { 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 ()); + } else { + handled = false; } break; case Gdk.Key.KP_Subtract: @@ -179,6 +181,8 @@ namespace Webpin { 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 ()); + } else { + handled = false; } break; case Gdk.Key.KP_0: @@ -186,6 +190,8 @@ namespace Webpin { 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 ()); + } else { + handled = false; } break; case Gdk.Key.F5: