From cf62440b118fb2929dc4776b07b8b25b2a9c3712 Mon Sep 17 00:00:00 2001
From: Matt Brubeck <mbrubeck@limpet.net>
Date: Tue, 11 Jul 2017 16:12:54 -0700
Subject: [PATCH] Disable Ctrl-L / Command-L key binding

Fixes #293. Note that some browsers (e.g. Safari) already prevent web
pages from overriding this key binding, so it was broken for some users
anyway.
---
 static/web.js | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/static/web.js b/static/web.js
index fbc66a6..c230efe 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 gotoline = 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);