Add support for readOnly: "nocursor"

Author: marijnh

lib/codemirror.js

@@ -97,7 +97,7 @@ var CodeMirror = (function() {
     connect(wrapper, "dragenter", function(e){e.stop();});
     connect(wrapper, "dragover", function(e){e.stop();});
     connect(wrapper, "drop", operation(onDrop));
-    connect(wrapper, "paste", function(){input.focus(); fastPoll();});
+    connect(wrapper, "paste", function(){focusInput(); fastPoll();});
     connect(input, "paste", function(){fastPoll();});
     connect(input, "cut", function(){fastPoll();});
 
@@ -115,11 +115,12 @@ var CodeMirror = (function() {
       setValue: operation(setValue),
       getSelection: getSelection,
       replaceSelection: operation(replaceSelection),
-      focus: function(){input.focus(); onFocus(); fastPoll();},
+      focus: function(){focusInput(); onFocus(); fastPoll();},
       setOption: function(option, value) {
         options[option] = value;
         if (option == "lineNumbers" || option == "gutter") gutterChanged();
         else if (option == "mode" || option == "indentUnit") loadMode();
+        else if (option == "readOnly" && value == "nocursor") input.blur();
       },
       getOption: function(option) {return options[option];},
       undo: operation(undo),
@@ -223,7 +224,7 @@ var CodeMirror = (function() {
       // And then we have to see if it's a drag event, in which case
       // the dragged-over text must be selected.
       function end() {
-        input.focus();
+        focusInput();
         updateInput = true;
         move(); up();
       }
@@ -345,6 +346,7 @@ var CodeMirror = (function() {
     }
 
     function onFocus() {
+      if (options.readOnly == "nocursor") return;
       if (!focused && options.onFocus) options.onFocus(instance);
       focused = true;
       slowPoll();
@@ -614,6 +616,9 @@ var CodeMirror = (function() {
       editing = {text: text, from: from, to: to, start: startch, end: endch};
       setSelRange(input, startch, reducedSelection ? startch : endch);
     }
+    function focusInput() {
+      if (options.readOnly != "nocursor") input.focus();
+    }
 
     function scrollCursorIntoView() {
       var cursor = localCoords(sel.inverted ? sel.from : sel.to);
@@ -1127,7 +1132,7 @@ var CodeMirror = (function() {
         "px; left: " + (e.pageX() - 1) + "px; z-index: 1000; background: white; " +
         "border-width: 0; outline: none; overflow: hidden;";
       var val = input.value = getSelection();
-      input.focus();
+      focusInput();
       setSelRange(input, 0, input.value.length);
       if (gecko) e.stop();
       leaveInputAlone = true;

manual.html

@@ -192,7 +192,9 @@ <h2 id="config">Configuration</h2>
 
       <dt id="option_readOnly"><code>readOnly (boolean)</code></dt>
       <dd>This disables editing of the editor content by the user.
-      (Changes through API functions will still be possible.)</dd>
+      (Changes through API functions will still be possible.) If you
+      also want to disable the cursor, use <code>"nocursor"</code> as
+      a value for this option, instead of <code>true</code>.</dd>
 
       <dt id="option_onChange"><code>onChange (function)</code></dt>
       <dd>When given, this function will be called every time the