'use strict';const codemirror_instance={};for(const i of dotclear.getData('codemirror')){codemirror_instance[i.name]=CodeMirror.fromTextArea(document.getElementById(i.id),{mode:i.mode,tabMode:'indent',lineWrapping:1,lineNumbers:1,matchBrackets:1,autoCloseBrackets:1,extraKeys:{F11(cm){cm.setOption('fullScreen',!cm.getOption('fullScreen'));},},theme:i.theme,});}