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
})
}