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