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/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; } } |