diff options
| author | eleanor-park <eleanor_park@brown.edu> | 2024-04-27 17:53:25 -0400 |
|---|---|---|
| committer | eleanor-park <eleanor_park@brown.edu> | 2024-04-27 17:53:25 -0400 |
| commit | 82f8c4bac5c9d8a6aef4b42936bd1839fcb8939e (patch) | |
| tree | eb65ef31da09ae68c5a36d89a96a7e1700d95caf /src/client/views/global/globalScripts.ts | |
| parent | 6ddfdb20e6a0b2c896594ad2c20292c6cfea0c1a (diff) | |
pull
Diffstat (limited to 'src/client/views/global/globalScripts.ts')
| -rw-r--r-- | src/client/views/global/globalScripts.ts | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/client/views/global/globalScripts.ts b/src/client/views/global/globalScripts.ts index 279d3c24c..86bd684be 100644 --- a/src/client/views/global/globalScripts.ts +++ b/src/client/views/global/globalScripts.ts @@ -324,7 +324,10 @@ function setActiveTool(tool: InkTool | GestureUtils.Gestures, keepPrim: boolean, } } else if (tool) { // pen or eraser - if (Doc.ActiveTool === tool && !GestureOverlay.Instance.InkShape && !keepPrim) { + if (Doc.ActiveTool === tool && tool === InkTool.Eraser) { + Doc.ActiveTool = InkTool.SegmentEraser; + console.log("erase click twice") + } else if (Doc.ActiveTool === tool && !GestureOverlay.Instance.InkShape && !keepPrim) { Doc.ActiveTool = InkTool.None; } else { Doc.ActiveTool = tool as any; |