| Current Path : /usr/share/nodejs/@types/codemirror/addon/display/ |
| Current File : //usr/share/nodejs/@types/codemirror/addon/display/autorefresh.d.ts |
import '../../';
declare module '../../' {
interface EditorConfiguration {
// if true, it will be refreshed the first time the editor becomes visible.
// you can pass delay (msec) time as polling duration
autoRefresh?: boolean | { delay: number } | undefined;
}
}