There was an error while loading. Please reload this page.
1 parent 14beae0 commit 919658aCopy full SHA for 919658a
1 file changed
packages/dev-playground/src/Main.res
@@ -742,8 +742,9 @@ module App = {
742
switch Document.current->Document.getElementById("source-editor") {
743
| Some(editor) => {
744
let offset = offsetForPosition(Signal.peek(source), original.position)
745
- editor->Element.focus
746
editor->TextAreaElement.setSelectionRange(offset, offset)
+ editor->Element.focus
747
+ Signal.set(activeLine, original.position.line)
748
let scrollTop = Math.Int.max(
749
0,
750
18 + (original.position.line - 1) * 22 - editor->TextAreaElement.clientHeight / 2,
0 commit comments