better autoscrolling in output

DerThorsten · DerThorsten · commit 753d0215feca · 2022-08-11T13:30:49.000+02:00
diff --git a/page/script.js b/page/script.js
@@ -52,6 +52,8 @@ function addToOutput(txt)
 {
   logeditor.replaceRange(txt+"\n", CodeMirror.Pos(logeditor.lastLine()))
   logeditor.scrollTo(CodeMirror.Pos(logeditor.lastLine()));
+  var info = logeditor.getScrollInfo();
+  logeditor.scrollTo(info.left,info.top + info.height);
 }
 
 const print = (text) => {

Original file line number	Diff line number	Diff line change
`@@ -52,6 +52,8 @@ function addToOutput(txt)`
`52`	`52`	`{`
`53`	`53`	`logeditor.replaceRange(txt+"\n", CodeMirror.Pos(logeditor.lastLine()))`
`54`	`54`	`logeditor.scrollTo(CodeMirror.Pos(logeditor.lastLine()));`
	`55`	`+ var info = logeditor.getScrollInfo();`
	`56`	`+ logeditor.scrollTo(info.left,info.top + info.height);`
`55`	`57`	`}`
`56`	`58`
`57`	`59`	`const print = (text) => {`