/
usr
/
share
/
nodejs
/
@types
/
codemirror
/
types-codemirror
/
addon
/
selection
/
/usr/share/nodejs/@types/codemirror/types-codemirror/addon/selection
mkdir
upload
Name
Size
Mode
Actions
active-line.d.ts
679
0644
edit
dl
rm
mark-selection.d.ts
416
0644
edit
dl
rm
selection-pointer.d.ts
375
0644
edit
dl
rm
Edit:
/usr/share/nodejs/@types/codemirror/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; } }
Save
cmd:
run