public/javascripts/codemirror/js/editor.js
function saveAfter(pos) {
        if (self.history.textAfter(pos.node).length > pos.offset) {
          self.line = pos.node;
          self.offset = pos.offset + 1;
        }
        else {
          self.line = self.history.nodeAfter(pos.node);
          self.offset = 0;
        }
      }
function saveAfter(pos) {
        if (self.history.textAfter(pos.node).length > pos.offset) {
          self.line = pos.node;
          self.offset = pos.offset + 1;
        }
        else {
          self.line = self.history.nodeAfter(pos.node);
          self.offset = 0;
        }
      }
function saveAfter ( pos ) { if ( self . history . textAfter ( pos . node ) . length > pos . offset ) { self . line = pos . node ; self . offset = pos . offset + 1 ; } else { self . line = self . history . nodeAfter ( pos . node ) ; self . offset = 0 ; } }
Set the cursor's position one character after the given position.
Set the cursor s position one character after the given position .