Revert "When pasting on Webkit, add a nonsense character to work around browser bug"

This reverts commit d59e2ae.

Author: marijnh

lib/codemirror.js

@@ -1447,8 +1447,6 @@ window.CodeMirror = (function() {
       resetInput(cm, true);
       return false;
     }
-    if (cm.state.pasteIncoming && cm.state.fakedLastChar)
-      text = text.substring(0, text.length - 1);
 
     var withOp = !cm.curOp;
     if (withOp) startOperation(cm);
@@ -1595,18 +1593,6 @@ window.CodeMirror = (function() {
       fastPoll(cm);
     });
     on(d.input, "paste", function() {
-      // Workaround for webkit bug https://bugs.webkit.org/show_bug.cgi?id=90206
-      // Add a char to the end of textarea before paste occur so that
-      // selection doesn't span to the end of textarea.
-      if (webkit) {
-        var start = d.input.selectionStart, end = d.input.selectionEnd;
-        d.input.value += "$";
-        d.input.selectionStart = start;
-        d.input.selectionEnd = end;
-        cm.state.fakedLastChar = true;
-      } else {
-        cm.state.fakedLastChar = false;
-      }
       cm.state.pasteIncoming = true;
       fastPoll(cm);
     });