/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/mark-selection.d.ts (416B)
import '../../'; declare module '../../' { interface EditorConfiguration { /** * Causes the selected text to be marked with the CSS class CodeMirror-selectedtext or a custom class when the styleSelectedText option is enabled. * Useful to change the colour of the selection (in addition to the background). */ styleSelectedText?: boolean | string | undefined; } }