diff options
| author | eleanor-park <eleanor_park@brown.edu> | 2024-05-15 14:33:50 -0400 |
|---|---|---|
| committer | eleanor-park <eleanor_park@brown.edu> | 2024-05-15 14:33:50 -0400 |
| commit | 84098c41aaa4970d43b88645489e64c1cac22934 (patch) | |
| tree | 3cb8e0ac540334b2d8a5d0fbaf882f8d5f3fa339 /src/client/views/global | |
| parent | f8053c9d1f7d849cc0c3e8c0b8bf4a466ffd85b9 (diff) | |
three eraser modes implemented
Diffstat (limited to 'src/client/views/global')
| -rw-r--r-- | src/client/views/global/globalScripts.ts | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/client/views/global/globalScripts.ts b/src/client/views/global/globalScripts.ts index 19741e2e0..0a8434148 100644 --- a/src/client/views/global/globalScripts.ts +++ b/src/client/views/global/globalScripts.ts @@ -362,9 +362,6 @@ ScriptingGlobals.add(function activeEraserTool() { // toggle: Set overlay status of selected document ScriptingGlobals.add(function setInkProperty(option: 'inkMask' | 'labels' | 'fillColor' | 'strokeWidth' | 'strokeColor' | 'eraserWidth', value: any, checkResult?: boolean) { const selected = SelectionManager.Docs.lastElement() ?? Doc.UserDoc(); - if (option === 'eraserWidth') { - console.log('eraserWidth', value); - } // prettier-ignore const map: Map<'inkMask' | 'labels' | 'fillColor' | 'strokeWidth' | 'strokeColor' | 'eraserWidth', { checkResult: () => any; setInk: (doc: Doc) => void; setMode: () => void }> = new Map([ ['inkMask', { |