Name	Size	Mode	Actions
autorefresh.d.ts	297	0644	editdlrm
fullscreen.d.ts	404	0644	editdlrm
panel.d.ts	1854	0644	editdlrm
placeholder.d.ts	429	0644	editdlrm
rulers.d.ts	404	0644	editdlrm

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