   }), query_area.onkeydown = e => {
            if ("Tab" == e.key && !event.shiftKey && !user_prefers_tab_navigation) {
                let t = e.target, a = t.selectionStart;
                return t.selectionEnd, t.value = t.value.substring(0, t.selectionStart) + " " + t.value.substring(t.selectionEnd), t.selectionStart = a + 4, t.selectionEnd = a + 4, e.preventDefault(), !1
            }
        };
        let load_dagre_promise;

        function loadDagre() {
            return load_dagre_promise || 