HEX
Server: Apache/2.4.68 (Debian)
System: Linux as-cs-widget-demo-us-central1 6.1.0-44-cloud-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.164-1 (2026-03-09) x86_64
User: root (0)
PHP: 8.2.32
Disabled: NONE
Upload Files
File: //usr/share/nodejs/@types/codemirror/addon/selection/selection-pointer.d.ts
import '../../';

declare module '../../' {
    interface EditorConfiguration {
        /**
         * Controls the mouse cursor appearance when hovering over the selection. It can be set to a string, like "pointer", or to true,
         * in which case the "default" (arrow) cursor will be used.
         */
         selectionPointer?: boolean | string | undefined;
    }
}