| Current Path : /usr/share/nodejs/@types/codemirror/addon/selection/ |
| Current File : //usr/share/nodejs/@types/codemirror/addon/selection/selection-pointer.d.ts |
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;
}
}