function bindEditorListeners()

in frontend/src/assets/js/editor.js [27:49]


    function bindEditorListeners(editor) {
        window.runtime.EventsOn("LogsUpdated", function (s) {
            let insertedRange = editor.session.insert({
                row: editor.session.getLength(),
                column: 0
            }, s);
            let marker = editor.session.highlightLines(insertedRange.row, insertedRange.row, "justchangedline", false)
            setTimeout(() => {
                editor.session.removeMarker(marker.id)
            }, 2000)
            if (editor.renderer.layerConfig.lastRow >= editor.session.getLength() - 7) {
                editor.renderer.scrollToLine(Number.POSITIVE_INFINITY)
            }

        })
        editor.session.on("changeScrollTop", async function () {
        })
        editor.on("click", ThreadDumpLinkHandler)
        editor.on("click", IndexingDiagnosticLinkHandler)
        editor.renderer.on('afterRender', function () {
            createStyleGutterMarkers(editor, highlightingColors).unfolded
        })
    }