/usr/share/nodejs/@types/codemirror/addon/selection
NameSizeModeActions
active-line.d.ts6790644editdlrm
mark-selection.d.ts4160644editdlrm
selection-pointer.d.ts3750644editdlrm
Edit: /usr/share/nodejs/@types/codemirror/addon/selection/selection-pointer.d.ts (375B)
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; } }