removing errant, useless keyIdentifier reference to commercial at
authorNicholas Bollweg (Nick) <nick.bollweg@gmail.com>
Sun, 03 Nov 2013 08:55:27 -0500
changeset 2086 b36f07f5d785
parent 2085 d33c7240318c
child 2087 49c3811e10c3
removing errant, useless keyIdentifier reference to commercial at
playground/playground.js
--- a/playground/playground.js	Sun Nov 03 08:48:48 2013 -0500
+++ b/playground/playground.js	Sun Nov 03 08:55:27 2013 -0500
@@ -217,8 +217,7 @@
           theme: "elegant",
           lint: true,
           extraKeys: {
-            "Ctrl-Space": "autocomplete",
-            "U+0040": "at_autocomplete"
+            "Ctrl-Space": "autocomplete"
           },
           _playground_key: key
         });