void scenePanel_MouseWheel(object sender, System.Windows.Forms.MouseEventArgs e)
{
System.Diagnostics.Debug.Assert(mainFrm != null);
// Store previous view command
ViewCommand vcmd = viewCmd;
// Execute zoom step
viewCmd = (ViewCommand)commands["zoomstep"];
GraphicViewManager.Instance.SavePreviousActiveView();
viewCmd.MouseWheel(GraphicViewManager.Instance.ActiveView, e);
GraphicViewManager.Instance.updateView(false);
// Restore previous view command
viewCmd = vcmd;
if (viewCmd == SelectionCommand && EndViewCommand != null)
EndViewCommand(this, new EndViewCommandArgs((ViewCommand)commands["zoomstep"]));
}