HEX
Server: nginx/1.18.0
System: Linux oas2 6.8.0-1039-oracle #40~22.04.1-Ubuntu SMP Wed Oct 29 05:11:00 UTC 2025 aarch64
User: root (0)
PHP: 8.1.2-1ubuntu2.23
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;
    }
}