Merge pull request #85 from rhiroshi/ctrl_zoom

Adds CTRL+Mouse wheel zoom

Author: hidakatsuya

app/editor/boot.js

@@ -792,6 +792,17 @@ thin.init_ = function() {
       }
     });
 
+    // Mouse wheel zoom
+    main.getMain().getElement().addEventListener('mousewheel', function(e) {
+      var workspace = thin.core.getActiveWorkspace();
+      if (!e.ctrlKey || !workspace) return;
+      if (e.wheelDeltaY < 0) {
+        workspace.getAction().actionSetZoom(workspace.getUiStatusForZoom() - 10);
+      } else {
+        workspace.getAction().actionSetZoom(workspace.getUiStatusForZoom() + 10);
+      }
+    });
+
     // Zoom in
     var toolZoomIn = toolbar.setupChild('zoom-in',
         new thin.ui.ToolbarButton(thin.t('button_zoom_in'), new thin.ui.Icon('zoom-in')),