DIR: /proc/self/root/usr/share/node_modules/@types/codemirror/addon/selection/ |
Current File : //proc/self/root/usr/share/node_modules/@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; } } |