Verified Commit d86bf14a authored by Marco Kellershoff's avatar Marco Kellershoff 🤸
Browse files

Add timeout to scrollToLine and gotoLine

parent 77db6b0f
......@@ -373,18 +373,24 @@
var column =
url_params.get("c") ||
0;
EDITOR.scrollToLine(
line,
true,
true,
function() {}
);
EDITOR.gotoLine(
line,
column,
true
setTimeout(
function() {
EDITOR.scrollToLine(
line,
true,
true,
function() {}
);
EDITOR.gotoLine(
line,
column,
true
);
EDITOR.focus();
},
2000
);
EDITOR.focus();
}
if (
url_params.get("a") ===
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment