Added mouse wheel zoom

Author: rhiroshi

app/editor/boot.js

@@ -792,6 +792,17 @@ thin.init_ = function() {
       }
     });
 
+    // Mouse wheel zoom
+    document.body.addEventListener('mousewheel', function(e){
+      var workspace = thin.core.getActiveWorkspace();
+      if(e.ctrlKey != true || !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')),