From fba94a47f5409de348e448262416824d232b3048 Mon Sep 17 00:00:00 2001 From: Val Erastov Date: Wed, 30 Nov 2016 22:51:59 -0800 Subject: [PATCH] drag tool as alternate mode for circle --- web/app/sketcher/shapes/circle.js | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/web/app/sketcher/shapes/circle.js b/web/app/sketcher/shapes/circle.js index 9f90dec2..6953c0a9 100644 --- a/web/app/sketcher/shapes/circle.js +++ b/web/app/sketcher/shapes/circle.js @@ -40,10 +40,14 @@ export class Circle extends SketchObject { return Math.abs(math.distance(aim.x, aim.y, this.c.x, this.c.y) - this.r.get()); } - getDefaultTool(viewer) { - var editTool = new EditCircleTool(viewer, null); - editTool.circle = this; - return editTool; + getDefaultTool(viewer, alternative) { + if (alternative) { + return super.getDefaultTool(viewer, alternative); + } else { + const editTool = new EditCircleTool(viewer, null); + editTool.circle = this; + return editTool; + } } }