Function initFile

js/common.js:186–197

()

}

function initFile(){
    var q = RegExp('[?&]file=([^&]*)').exec(location.href); 
    var file=q && decodeURIComponent(q[1].replace(/\+/g, ' '))
    if(file){
        console.log('file',file)
        fetch('/rawtext?file='+file,{method:'GET'}).then(resp=>{
            return resp.text()
        }).then(text=>{
            loadAstJson(text)
        })
    }
}

// ========= Mermaid & FDP ===========
var gMermaidScale=1