js-draw 0.23.1 → 0.24.1

package/dist/mjs/src/tools/TextTool.d.ts

@@ -1,33 +0,0 @@
-import Color4 from '../Color4';
-import Editor from '../Editor';
-import { PointerEvt } from '../types';
-import BaseTool from './BaseTool';
-import { ToolLocalization } from './localization';
-import TextRenderingStyle from '../rendering/TextRenderingStyle';
-export default class TextTool extends BaseTool {
-    private editor;
-    private localizationTable;
-    private textStyle;
-    private textEditOverlay;
-    private textInputElem;
-    private textTargetPosition;
-    private textMeasuringCtx;
-    private textRotation;
-    private textScale;
-    private removeExistingCommand;
-    constructor(editor: Editor, description: string, localizationTable: ToolLocalization);
-    private getTextAscent;
-    private flushInput;
-    private getTextScaleMatrix;
-    private updateTextInput;
-    private startTextInput;
-    setEnabled(enabled: boolean): void;
-    onPointerDown({ current, allPointers }: PointerEvt): boolean;
-    onGestureCancel(): void;
-    private dispatchUpdateEvent;
-    setFontFamily(fontFamily: string): void;
-    setColor(color: Color4): void;
-    setFontSize(size: number): void;
-    getTextStyle(): TextRenderingStyle;
-    private setTextStyle;
-}

package/dist/mjs/src/tools/TextTool.mjs

@@ -1,256 +0,0 @@
-import  Color4  from '../Color4.mjs';
-import  TextComponent  from '../components/TextComponent.mjs';
-import  EditorImage  from '../EditorImage.mjs';
-import  Rect2  from '../math/Rect2.mjs';
-import  Mat33  from '../math/Mat33.mjs';
-import  { Vec2 }  from '../math/Vec2.mjs';
-import  { PointerDevice }  from '../Pointer.mjs';
-import  { EditorEventType }  from '../types.mjs';
-import  BaseTool  from './BaseTool.mjs';
-import  Erase  from '../commands/Erase.mjs';
-import  uniteCommands  from '../commands/uniteCommands.mjs';
-const overlayCssClass = 'textEditorOverlay';
-export default class TextTool extends BaseTool {
-    constructor(editor, description, localizationTable) {
-        super(editor.notifier, description);
-        this.editor = editor;
-        this.localizationTable = localizationTable;
-        this.textInputElem = null;
-        this.textTargetPosition = null;
-        this.textMeasuringCtx = null;
-        this.textScale = Vec2.of(1, 1);
-        this.removeExistingCommand = null;
-        this.textStyle = {
-            size: 32,
-            fontFamily: 'sans-serif',
-            renderingStyle: {
-                fill: Color4.purple,
-            },
-        };
-        this.textEditOverlay = document.createElement('div');
-        this.textEditOverlay.classList.add(overlayCssClass);
-        this.editor.addStyleSheet(`
-			.${overlayCssClass} {
-				height: 0;
-				overflow: visible;
-			}
-
-			.${overlayCssClass} textarea {
-				background-color: rgba(0, 0, 0, 0);
-
-				white-space: pre;
-				overflow: hidden;
-
-				padding: 0;
-				margin: 0;
-				border: none;
-				padding: 0;
-
-				min-width: 100px;
-				min-height: 1.1em;
-			}
-		`);
-        this.editor.createHTMLOverlay(this.textEditOverlay);
-        this.editor.notifier.on(EditorEventType.ViewportChanged, () => this.updateTextInput());
-    }
-    getTextAscent(text, style) {
-        var _a;
-        (_a = this.textMeasuringCtx) !== null && _a !== void 0 ? _a : (this.textMeasuringCtx = document.createElement('canvas').getContext('2d'));
-        if (this.textMeasuringCtx) {
-            TextComponent.applyTextStyles(this.textMeasuringCtx, style);
-            return this.textMeasuringCtx.measureText(text).actualBoundingBoxAscent;
-        }
-        // Estimate
-        return style.size * 2 / 3;
-    }
-    // Take input from this' textInputElem and add it to the EditorImage.
-    // If [removeInput], the HTML input element is removed. Otherwise, its value
-    // is cleared.
-    flushInput(removeInput = true) {
-        if (this.textInputElem && this.textTargetPosition) {
-            const content = this.textInputElem.value.trimEnd();
-            this.textInputElem.value = '';
-            if (removeInput) {
-                // In some browsers, .remove() triggers a .blur event (synchronously).
-                // Clear this.textInputElem before removal
-                const input = this.textInputElem;
-                this.textInputElem = null;
-                input.remove();
-            }
-            if (content === '') {
-                return;
-            }
-            const textTransform = Mat33.translation(this.textTargetPosition).rightMul(this.getTextScaleMatrix()).rightMul(Mat33.scaling2D(this.editor.viewport.getSizeOfPixelOnCanvas())).rightMul(Mat33.zRotation(this.textRotation));
-            const textComponent = TextComponent.fromLines(content.split('\n'), textTransform, this.textStyle);
-            const action = EditorImage.addElement(textComponent);
-            if (this.removeExistingCommand) {
-                // Unapply so that `removeExistingCommand` can be added to the undo stack.
-                this.removeExistingCommand.unapply(this.editor);
-                this.editor.dispatch(uniteCommands([this.removeExistingCommand, action]));
-                this.removeExistingCommand = null;
-            }
-            else {
-                this.editor.dispatch(action);
-            }
-        }
-    }
-    getTextScaleMatrix() {
-        return Mat33.scaling2D(this.textScale.times(1 / this.editor.viewport.getSizeOfPixelOnCanvas()));
-    }
-    updateTextInput() {
-        var _a, _b, _c;
-        if (!this.textInputElem || !this.textTargetPosition) {
-            (_a = this.textInputElem) === null || _a === void 0 ? void 0 : _a.remove();
-            return;
-        }
-        const viewport = this.editor.viewport;
-        const textScreenPos = viewport.canvasToScreen(this.textTargetPosition);
-        this.textInputElem.placeholder = this.localizationTable.enterTextToInsert;
-        this.textInputElem.style.fontFamily = this.textStyle.fontFamily;
-        this.textInputElem.style.fontVariant = (_b = this.textStyle.fontVariant) !== null && _b !== void 0 ? _b : '';
-        this.textInputElem.style.fontWeight = (_c = this.textStyle.fontWeight) !== null && _c !== void 0 ? _c : '';
-        this.textInputElem.style.fontSize = `${this.textStyle.size}px`;
-        this.textInputElem.style.color = this.textStyle.renderingStyle.fill.toHexString();
-        this.textInputElem.style.position = 'relative';
-        this.textInputElem.style.left = `${textScreenPos.x}px`;
-        this.textInputElem.style.top = `${textScreenPos.y}px`;
-        this.textInputElem.style.margin = '0';
-        this.textInputElem.style.width = `${this.textInputElem.scrollWidth}px`;
-        this.textInputElem.style.height = `${this.textInputElem.scrollHeight}px`;
-        // Get the ascent based on the font, using a character that is tall in most fonts.
-        const tallCharacter = '⎢';
-        const ascent = this.getTextAscent(tallCharacter, this.textStyle);
-        const rotation = this.textRotation + viewport.getRotationAngle();
-        const scale = this.getTextScaleMatrix();
-        this.textInputElem.style.transform = `${scale.toCSSMatrix()} rotate(${rotation * 180 / Math.PI}deg) translate(0, ${-ascent}px)`;
-        this.textInputElem.style.transformOrigin = 'top left';
-    }
-    startTextInput(textCanvasPos, initialText) {
-        this.flushInput();
-        this.textInputElem = document.createElement('textarea');
-        this.textInputElem.value = initialText;
-        this.textInputElem.style.display = 'inline-block';
-        this.textTargetPosition = this.editor.viewport.roundPoint(textCanvasPos);
-        this.textRotation = -this.editor.viewport.getRotationAngle();
-        this.textScale = Vec2.of(1, 1).times(this.editor.viewport.getSizeOfPixelOnCanvas());
-        this.updateTextInput();
-        // Update the input size/position/etc. after the placeHolder has had time to appear.
-        setTimeout(() => this.updateTextInput(), 0);
-        this.textInputElem.oninput = () => {
-            if (this.textInputElem) {
-                this.textInputElem.style.width = `${this.textInputElem.scrollWidth}px`;
-                this.textInputElem.style.height = `${this.textInputElem.scrollHeight}px`;
-            }
-        };
-        this.textInputElem.onblur = () => {
-            // Delay removing the input -- flushInput may be called within a blur()
-            // event handler
-            const removeInput = false;
-            const input = this.textInputElem;
-            this.flushInput(removeInput);
-            this.textInputElem = null;
-            setTimeout(() => {
-                input === null || input === void 0 ? void 0 : input.remove();
-            }, 0);
-        };
-        this.textInputElem.onkeyup = (evt) => {
-            var _a, _b;
-            if (evt.key === 'Enter' && !evt.shiftKey) {
-                this.flushInput();
-                this.editor.focus();
-            }
-            else if (evt.key === 'Escape') {
-                // Cancel input.
-                (_a = this.textInputElem) === null || _a === void 0 ? void 0 : _a.remove();
-                this.textInputElem = null;
-                this.editor.focus();
-                (_b = this.removeExistingCommand) === null || _b === void 0 ? void 0 : _b.unapply(this.editor);
-                this.removeExistingCommand = null;
-            }
-        };
-        this.textEditOverlay.replaceChildren(this.textInputElem);
-        setTimeout(() => { var _a; return (_a = this.textInputElem) === null || _a === void 0 ? void 0 : _a.focus(); }, 0);
-    }
-    setEnabled(enabled) {
-        super.setEnabled(enabled);
-        if (!enabled) {
-            this.flushInput();
-        }
-        this.textEditOverlay.style.display = enabled ? 'block' : 'none';
-    }
-    onPointerDown({ current, allPointers }) {
-        if (current.device === PointerDevice.Eraser) {
-            return false;
-        }
-        if (allPointers.length === 1) {
-            // Are we clicking on a text node?
-            const canvasPos = current.canvasPos;
-            const halfTestRegionSize = Vec2.of(2.5, 2.5).times(this.editor.viewport.getSizeOfPixelOnCanvas());
-            const testRegion = Rect2.fromCorners(canvasPos.minus(halfTestRegionSize), canvasPos.plus(halfTestRegionSize));
-            const targetNodes = this.editor.image.getElementsIntersectingRegion(testRegion);
-            let targetTextNodes = targetNodes.filter(node => node instanceof TextComponent);
-            // Don't try to edit text nodes that contain the viewport (this allows us
-            // to zoom in on text nodes and add text on top of them.)
-            const visibleRect = this.editor.viewport.visibleRect;
-            targetTextNodes = targetTextNodes.filter(node => !node.getBBox().containsRect(visibleRect));
-            // End any TextNodes we're currently editing.
-            this.flushInput();
-            if (targetTextNodes.length > 0) {
-                const targetNode = targetTextNodes[targetTextNodes.length - 1];
-                this.setTextStyle(targetNode.getTextStyle());
-                // Create and temporarily apply removeExistingCommand.
-                this.removeExistingCommand = new Erase([targetNode]);
-                this.removeExistingCommand.apply(this.editor);
-                this.startTextInput(targetNode.getBaselinePos(), targetNode.getText());
-                const transform = targetNode.getTransform();
-                this.textRotation = transform.transformVec3(Vec2.unitX).angle();
-                const scaleFactor = transform.transformVec3(Vec2.unitX).magnitude();
-                this.textScale = Vec2.of(1, 1).times(scaleFactor);
-                this.updateTextInput();
-            }
-            else {
-                this.removeExistingCommand = null;
-                this.startTextInput(current.canvasPos, '');
-            }
-            return true;
-        }
-        return false;
-    }
-    onGestureCancel() {
-        this.flushInput();
-        this.editor.focus();
-    }
-    dispatchUpdateEvent() {
-        this.updateTextInput();
-        this.editor.notifier.dispatch(EditorEventType.ToolUpdated, {
-            kind: EditorEventType.ToolUpdated,
-            tool: this,
-        });
-    }
-    setFontFamily(fontFamily) {
-        if (fontFamily !== this.textStyle.fontFamily) {
-            this.textStyle = Object.assign(Object.assign({}, this.textStyle), { fontFamily: fontFamily });
-            this.dispatchUpdateEvent();
-        }
-    }
-    setColor(color) {
-        if (!color.eq(this.textStyle.renderingStyle.fill)) {
-            this.textStyle = Object.assign(Object.assign({}, this.textStyle), { renderingStyle: Object.assign(Object.assign({}, this.textStyle.renderingStyle), { fill: color }) });
-            this.dispatchUpdateEvent();
-        }
-    }
-    setFontSize(size) {
-        if (size !== this.textStyle.size) {
-            this.textStyle = Object.assign(Object.assign({}, this.textStyle), { size });
-            this.dispatchUpdateEvent();
-        }
-    }
-    getTextStyle() {
-        return this.textStyle;
-    }
-    setTextStyle(style) {
-        // Copy the style — we may change parts of it.
-        this.textStyle = Object.assign(Object.assign({}, style), { renderingStyle: Object.assign({}, style.renderingStyle) });
-        this.dispatchUpdateEvent();
-    }
-}

package/dist/mjs/src/tools/ToolController.mjs

@@ -1,163 +0,0 @@
-import  { InputEvtType, EditorEventType }  from '../types.mjs';
-import  PanZoom, { PanZoomMode }  from './PanZoom.mjs';
-import  Pen  from './Pen.mjs';
-import  ToolEnabledGroup  from './ToolEnabledGroup.mjs';
-import  Eraser  from './Eraser.mjs';
-import  SelectionTool  from './SelectionTool/SelectionTool.mjs';
-import  Color4  from '../Color4.mjs';
-import  UndoRedoShortcut  from './UndoRedoShortcut.mjs';
-import  TextTool  from './TextTool.mjs';
-import  PipetteTool  from './PipetteTool.mjs';
-import  ToolSwitcherShortcut  from './ToolSwitcherShortcut.mjs';
-import  PasteHandler  from './PasteHandler.mjs';
-import  ToolbarShortcutHandler  from './ToolbarShortcutHandler.mjs';
-import  { makePressureSensitiveFreehandLineBuilder }  from '../components/builders/PressureSensitiveFreehandLineBuilder.mjs';
-import  FindTool  from './FindTool.mjs';
-import  SelectAllShortcutHandler  from './SelectionTool/SelectAllShortcutHandler.mjs';
-import  SoundUITool  from './SoundUITool.mjs';
-export default class ToolController {
-    /** @internal */
-    constructor(editor, localization) {
-        this.activeTool = null;
-        const primaryToolGroup = new ToolEnabledGroup();
-        this.primaryToolGroup = primaryToolGroup;
-        const panZoomTool = new PanZoom(editor, PanZoomMode.TwoFingerTouchGestures | PanZoomMode.RightClickDrags, localization.touchPanTool);
-        const keyboardPanZoomTool = new PanZoom(editor, PanZoomMode.Keyboard, localization.keyboardPanZoom);
-        const primaryPenTool = new Pen(editor, localization.penTool(1), { color: Color4.purple, thickness: 8 });
-        const primaryTools = [
-            // Three pens
-            primaryPenTool,
-            new Pen(editor, localization.penTool(2), { color: Color4.clay, thickness: 4 }),
-            // Highlighter-like pen with width=40
-            new Pen(editor, localization.penTool(3), { color: Color4.ofRGBA(1, 1, 0, 0.5), thickness: 40 }, makePressureSensitiveFreehandLineBuilder),
-            new Eraser(editor, localization.eraserTool),
-            new SelectionTool(editor, localization.selectionTool),
-            new TextTool(editor, localization.textTool, localization),
-            new PanZoom(editor, PanZoomMode.SinglePointerGestures, localization.anyDevicePanning),
-        ];
-        // Accessibility tools
-        const soundExplorer = new SoundUITool(editor, localization.soundExplorer);
-        soundExplorer.setEnabled(false);
-        this.tools = [
-            new PipetteTool(editor, localization.pipetteTool),
-            soundExplorer,
-            panZoomTool,
-            ...primaryTools,
-            keyboardPanZoomTool,
-            new UndoRedoShortcut(editor),
-            new ToolbarShortcutHandler(editor),
-            new ToolSwitcherShortcut(editor),
-            new FindTool(editor),
-            new PasteHandler(editor),
-            new SelectAllShortcutHandler(editor),
-        ];
-        primaryTools.forEach(tool => tool.setToolGroup(primaryToolGroup));
-        panZoomTool.setEnabled(true);
-        primaryPenTool.setEnabled(true);
-        editor.notifier.on(EditorEventType.ToolEnabled, event => {
-            if (event.kind === EditorEventType.ToolEnabled) {
-                editor.announceForAccessibility(localization.toolEnabledAnnouncement(event.tool.description));
-            }
-        });
-        editor.notifier.on(EditorEventType.ToolDisabled, event => {
-            if (event.kind === EditorEventType.ToolDisabled) {
-                editor.announceForAccessibility(localization.toolDisabledAnnouncement(event.tool.description));
-            }
-        });
-        this.activeTool = null;
-    }
-    // Replaces the current set of tools with `tools`. This should only be done before
-    // the creation of the app's toolbar (if using `HTMLToolbar`).
-    setTools(tools, primaryToolGroup) {
-        this.tools = tools;
-        this.primaryToolGroup = primaryToolGroup !== null && primaryToolGroup !== void 0 ? primaryToolGroup : new ToolEnabledGroup();
-    }
-    // Add a tool that acts like one of the primary tools (only one primary tool can be enabled at a time).
-    // This should be called before creating the app's toolbar.
-    addPrimaryTool(tool) {
-        tool.setToolGroup(this.primaryToolGroup);
-        if (tool.isEnabled()) {
-            this.primaryToolGroup.notifyEnabled(tool);
-        }
-        this.addTool(tool);
-    }
-    getPrimaryTools() {
-        return this.tools.filter(tool => {
-            return tool.getToolGroup() === this.primaryToolGroup;
-        });
-    }
-    // Add a tool to the end of this' tool list (the added tool receives events after tools already added to this).
-    // This should be called before creating the app's toolbar.
-    addTool(tool) {
-        this.tools.push(tool);
-    }
-    // Returns true if the event was handled
-    dispatchInputEvent(event) {
-        var _a, _b;
-        let handled = false;
-        if (event.kind === InputEvtType.PointerDownEvt) {
-            for (const tool of this.tools) {
-                if (tool.isEnabled() && tool.onPointerDown(event)) {
-                    if (this.activeTool !== tool) {
-                        (_a = this.activeTool) === null || _a === void 0 ? void 0 : _a.onGestureCancel();
-                    }
-                    this.activeTool = tool;
-                    handled = true;
-                    break;
-                }
-            }
-        }
-        else if (event.kind === InputEvtType.PointerUpEvt) {
-            (_b = this.activeTool) === null || _b === void 0 ? void 0 : _b.onPointerUp(event);
-            this.activeTool = null;
-            handled = true;
-        }
-        else if (event.kind === InputEvtType.PointerMoveEvt) {
-            if (this.activeTool !== null) {
-                this.activeTool.onPointerMove(event);
-                handled = true;
-            }
-        }
-        else if (event.kind === InputEvtType.GestureCancelEvt) {
-            if (this.activeTool !== null) {
-                this.activeTool.onGestureCancel();
-                this.activeTool = null;
-            }
-        }
-        else {
-            let allCasesHandledGuard;
-            for (const tool of this.tools) {
-                if (!tool.isEnabled()) {
-                    continue;
-                }
-                switch (event.kind) {
-                    case InputEvtType.KeyPressEvent:
-                        handled = tool.onKeyPress(event);
-                        break;
-                    case InputEvtType.KeyUpEvent:
-                        handled = tool.onKeyUp(event);
-                        break;
-                    case InputEvtType.WheelEvt:
-                        handled = tool.onWheel(event);
-                        break;
-                    case InputEvtType.CopyEvent:
-                        handled = tool.onCopy(event);
-                        break;
-                    case InputEvtType.PasteEvent:
-                        handled = tool.onPaste(event);
-                        break;
-                    default:
-                        allCasesHandledGuard = event;
-                        return allCasesHandledGuard;
-                }
-                if (handled) {
-                    break;
-                }
-            }
-        }
-        return handled;
-    }
-    getMatchingTools(type) {
-        return this.tools.filter(tool => tool instanceof type);
-    }
-}

package/dist/mjs/src/tools/ToolEnabledGroup.mjs

@@ -1,11 +0,0 @@
-// Connects a group of tools -- at most one tool in the group can be enabled.
-export default class ToolEnabledGroup {
-    constructor() { }
-    notifyEnabled(tool) {
-        var _a;
-        if (tool !== this.activeTool) {
-            (_a = this.activeTool) === null || _a === void 0 ? void 0 : _a.setEnabled(false);
-            this.activeTool = tool;
-        }
-    }
-}

package/dist/mjs/src/tools/ToolSwitcherShortcut.mjs

@@ -1,32 +0,0 @@
-import  BaseTool  from './BaseTool.mjs';
-/**
- * Handles keyboard events used, by default, to select tools. By default,
- * 1 maps to the first primary tool, 2 to the second primary tool, ... .
- *
- * This is in the default set of {@link ToolController} tools.
- *
- * @deprecated This may be replaced in the future.
- */
-export default class ToolSwitcherShortcut extends BaseTool {
-    constructor(editor) {
-        super(editor.notifier, editor.localization.changeTool);
-        this.editor = editor;
-    }
-    // @internal
-    onKeyPress({ key }) {
-        const toolController = this.editor.toolController;
-        const primaryTools = toolController.getPrimaryTools();
-        // Map keys 0-9 to primary tools.
-        const keyMatch = /^[0-9]$/.exec(key);
-        let targetTool;
-        if (keyMatch) {
-            const targetIdx = parseInt(keyMatch[0], 10) - 1;
-            targetTool = primaryTools[targetIdx];
-        }
-        if (targetTool) {
-            targetTool.setEnabled(true);
-            return true;
-        }
-        return false;
-    }
-}

package/dist/mjs/src/tools/ToolbarShortcutHandler.mjs

@@ -1,23 +0,0 @@
-// Allows the toolbar to register keyboard events.
-// @packageDocumentation
-import  BaseTool  from './BaseTool.mjs';
-export default class ToolbarShortcutHandler extends BaseTool {
-    constructor(editor) {
-        super(editor.notifier, editor.localization.changeTool);
-        this.listeners = new Set([]);
-    }
-    registerListener(listener) {
-        this.listeners.add(listener);
-    }
-    removeListener(listener) {
-        this.listeners.delete(listener);
-    }
-    onKeyPress(event) {
-        for (const listener of this.listeners) {
-            if (listener(event)) {
-                return true;
-            }
-        }
-        return false;
-    }
-}

package/dist/mjs/src/tools/UndoRedoShortcut.d.ts

@@ -1,8 +0,0 @@
-import Editor from '../Editor';
-import { KeyPressEvent } from '../types';
-import BaseTool from './BaseTool';
-export default class UndoRedoShortcut extends BaseTool {
-    private editor;
-    constructor(editor: Editor);
-    onKeyPress({ key, ctrlKey }: KeyPressEvent): boolean;
-}

package/dist/mjs/src/tools/UndoRedoShortcut.mjs

@@ -1,22 +0,0 @@
-import  BaseTool  from './BaseTool.mjs';
-// Handles ctrl+Z, ctrl+Shift+Z keyboard shortcuts.
-export default class UndoRedoShortcut extends BaseTool {
-    constructor(editor) {
-        super(editor.notifier, editor.localization.undoRedoTool);
-        this.editor = editor;
-    }
-    // @internal
-    onKeyPress({ key, ctrlKey }) {
-        if (ctrlKey) {
-            if (key === 'z') {
-                this.editor.history.undo();
-                return true;
-            }
-            else if (key === 'Z') {
-                this.editor.history.redo();
-                return true;
-            }
-        }
-        return false;
-    }
-}

package/dist/mjs/src/tools/localization.mjs

@@ -1,30 +0,0 @@
-export const defaultToolLocalization = {
-    penTool: (penId) => `Pen ${penId}`,
-    selectionTool: 'Selection',
-    selectAllTool: 'Select all shortcut',
-    eraserTool: 'Eraser',
-    touchPanTool: 'Touch panning',
-    twoFingerPanZoomTool: 'Panning and zooming',
-    undoRedoTool: 'Undo/Redo',
-    rightClickDragPanTool: 'Right-click drag',
-    pipetteTool: 'Pick color from screen',
-    keyboardPanZoom: 'Keyboard pan/zoom shortcuts',
-    textTool: 'Text',
-    enterTextToInsert: 'Text to insert',
-    changeTool: 'Change tool',
-    pasteHandler: 'Copy paste handler',
-    soundExplorer: 'Sound-based image exploration',
-    disableAccessibilityExploreTool: 'Disable sound-based exploration',
-    enableAccessibilityExploreTool: 'Enable sound-based exploration',
-    findLabel: 'Find',
-    toNextMatch: 'Next',
-    closeFindDialog: 'Close',
-    findDialogShown: 'Find dialog shown',
-    findDialogHidden: 'Find dialog hidden',
-    focusedFoundText: (matchIdx, totalMatches) => `Viewing match ${matchIdx} of ${totalMatches}`,
-    anyDevicePanning: 'Any device panning',
-    copied: (count, description) => `Copied ${count} ${description}`,
-    pasted: (count, description) => `Pasted ${count} ${description}`,
-    toolEnabledAnnouncement: (toolName) => `${toolName} enabled`,
-    toolDisabledAnnouncement: (toolName) => `${toolName} disabled`,
-};