Editor: Ctrl/Cmd-D is now dupLine, Ctrl/Cmd-Shift-D is removeLine

TI-Planet · Oct 23, 2016 · 52f1697 · 52f1697
1 parent af64e0a
commit 52f1697
Showing 1 changed file with 17 additions and 1 deletion.
diff --git a/modules/native_eZ80/js/cm_custom.js b/modules/native_eZ80/js/cm_custom.js
@@ -22,6 +22,20 @@ function do_cm_custom()
 
     $('[data-toggle="tooltip"]').tooltip();
 
+    editor.removeKeyMap("Ctrl-D");
+
+    var dupLine = function (cm)
+    {
+        var doc = cm.getDoc();
+        var cursor = doc.getCursor();
+        var line = doc.getLine(cursor.line);
+        var pos = {
+            line: cursor.line,
+            ch: line.length
+        };
+        doc.replaceRange('\n' + line, pos);
+    };
+
     editor.addKeyMap({
         "Tab": function (cm)
         {
@@ -40,7 +54,9 @@ function do_cm_custom()
         "Shift-Tab": function (cm)
         {
             cm.indentSelection("subtract");
-        }
+        },
+        "Ctrl-D": dupLine, "Cmd-D": dupLine,
+        "Shift-Ctrl-D": function(cm) { cm.execCommand("deleteLine") }, "Shift-Cmd-D": function(cm) { cm.execCommand("deleteLine") }
     });
 
     dispSrc = function(callback)