DIR: /proc/1991108/root/usr/share/nodejs/@types/codemirror/addon/selection/ |
Current File : //proc/1991108/root/usr/share/nodejs/@types/codemirror/addon/selection/mark-selection.d.ts |
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; } } |