hard stop / soft stop for cutoff (#177) martingale base (#178)

2024-03-15 13:36:28 +01:00
parent a6343abe88
commit adc7c3c1b6
6 changed files with 55 additions and 22 deletions
@@ -495,6 +495,12 @@ function refresh_logfile() {
                    readOnly: true
                });
                });
+                // Focus at the end of the file:
+                const model = editorLog.getModel();
+                const lastLineNumber = model.getLineCount();
+                const lastLineColumn = model.getLineMaxColumn(lastLineNumber);
+                editorLog.setPosition({ lineNumber: lastLineNumber, column: lastLineColumn });
+                editorLog.revealPosition({ lineNumber: lastLineNumber, column: lastLineColumn });
        },
        error: function(xhr, status, error) {
            var err = eval("(" + xhr.responseText + ")");