Editing File: /usr/share/nodejs/@types/codemirror/addon/display/autorefresh.d.ts