diff --git a/static/web.js b/static/web.js index fbc66a6..e70b57a 100644 --- a/static/web.js +++ b/static/web.js @@ -784,6 +784,12 @@ delete transposeletters.bindKey; editor.commands.addCommand(transposeletters); + // Don't hog Ctrl-L (“focus location bar”) either: + var transposeletters = editor.commands.commands.gotoline; + editor.commands.removeCommand("gotoline"); + delete gotoline.bindKey; + editor.commands.addCommand(gotoline); + asmButton.onclick = function() { compile("asm", result, session.getValue(), getRadioValue("version"), getRadioValue("optimize"), asmButton, backtrace.value);