'; print ""; } function sqlEditorJs($id, $init='') { print $id.' = CodeMirror.fromTextArea(document.getElementById("'.$id.'"), { mode: "text/x-mysql", lineNumbers: true, matchBrackets: true, indentUnit: 3, height: "100%", tabMode : "default", tabFunction : function() { document.getElementById("nav_query").focus(); }, onLoad : function() { '.$init.' } });'; } ?>