Implemented zooming with scrollwheel.

This works by holding control down while scrolling up or down.
Horizontal scrolling will now also work by holding shift down.

1 files changed, 2 insertions, 0 deletions

diff --git a/walls.ui b/walls.ui
index cb6f3bd..a355977 100644
--- a/walls.ui
+++ b/walls.ui
@@ -271,9 +271,11 @@
                 <child>
                   <object class="GtkLayout" id="layout">
                     <property name="visible">True</property>
+                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_STRUCTURE_MASK | GDK_SCROLL_MASK</property>
                     <signal name="button_press_event" handler="on_layout_button_press_event"/>
                     <signal name="motion_notify_event" handler="on_layout_motion_notify_event"/>
                     <signal name="button_release_event" handler="on_layout_button_release_event"/>
+                    <signal name="scroll_event" handler="on_layout_scroll_event"/>
                     <child>
                       <object class="GtkImage" id="image">
                         <property name="visible">True</property>