document.addEventListener("DOMContentLoaded", function(event) {
const sourceCode = $('#sourcecode');
if (sourceCode.length) {
const value = sourceCode.text();
const mode = sourceCode.attr('language');
const pre = sourceCode.get(0);
gitlist.viewer = CodeMirror(function(elt) {
pre.parentNode.replaceChild(elt, pre);
}, {
value: value,
lineNumbers: true,
matchBrackets: true,
lineWrapping: true,
readOnly: true,
mode: mode,
});
const setCodeMirror = function() {
if (gitlist.getThemeCookie !== undefined) {
