convert paste into command

node_modules/ace/lib/ace/commands/default_commands.js

@@ -423,6 +423,12 @@ exports.commands = [{
     exec: function() {},
     passEvent: true,
     readOnly: true
+}, {
+    name: "copy",
+    exec: function(editor) {
+        // placeholder for replay macro
+    },
+    readOnly: true
 },
 
 // commands disabled in readOnly mode
@@ -439,6 +445,12 @@ exports.commands = [{
     },
     scrollIntoView: "cursor",
     multiSelectAction: "forEach"
+}, {
+    name: "paste",
+    exec: function(editor, text) {
+        editor.$handlePaste(text);
+    },
+    scrollIntoView: "cursor"
 }, {
     name: "removeline",
     bindKey: bindKey("Ctrl-D", "Command-D"),

node_modules/ace/lib/ace/editor.js

@@ -903,10 +903,10 @@ var Editor = function(renderer, session) {
      *
      **/
     this.onPaste = function(text) {
-        // todo this should change when paste becomes a command
-        if (this.$readOnly)
-            return;
-
+        this.commands.exec("paste", this, text);
+    };
+    
+    this.$handlePaste = function(text) {
         var e = {text: text};
         this._signal("paste", e);
         text = e.text;
@@ -927,7 +927,6 @@ var Editor = function(renderer, session) {
                 this.session.insert(range.start, lines[i]);
             }
         }
-        this.renderer.scrollCursorIntoView();
     };
 
     this.execCommand = function(command, args) {