Merge pull request #6 from Emilgardis/dont-scroll

don't scroll to active line
2024-04-03 01:19:01 -07:00
parent d95ce8ebc7 5910096bc1
commit 85c2e441c2
1 changed files with 2 additions and 1 deletions
--- a/www/src/js/editor/index.ts
+++ b/www/src/js/editor/index.ts
@@ -117,7 +117,8 @@ class IC10Editor {
            that.active_line_markers.set(id, session.addMarker(new Range(active_line, 0, active_line, 1), "vm_ic_active_line", "fullLine", true));
            if (that.active_session == id) {
              // editor.resize(true);
-              that.aceEditor.scrollToLine(active_line, true, true, ()=>{})
+              // TODO: Scroll to line if vm was stepped
+              //that.aceEditor.scrollToLine(active_line, true, true, ()=>{})
            }
          }
        }