interface Window { codeEditors: Set; }