diff --git a/src/ui/View.js b/src/ui/View.js index 2868296c..18712c08 100644 --- a/src/ui/View.js +++ b/src/ui/View.js @@ -455,7 +455,6 @@ var View = this.View = Base.extend(Callback, /** @lends View# */{ // and server (rendering) /*#*/ if (options.browser) { var tool, - timer, curPoint, tempFocus, dragging = false; @@ -519,8 +518,6 @@ var View = this.View = Base.extend(Callback, /** @lends View# */{ dragging = false; curPoint = null; if (tool) { - if (timer != null) - timer = clearInterval(timer); if (tool.onHandleEvent('mouseup', viewToProject(view, event), event)) { view.draw(true);