code: function _onCharacterDataModified(event, res) {
          // res = {nodeId, characterData}
          if (_editedNode.nodeId !== res.nodeId) {
              return;
          }
  
          GotoAgent.open(DOMAgent.url);
          var editor = EditorManager.getCurrentFullEditor();
          var codeMirror = editor._codeMirror;
          var change = _findChangedCharacters(_editedNode.value, res.characterData);
          if (change) {
              var from = codeMirror.posFromIndex(_editedNode.location + change.from);
              var to = codeMirror.posFromIndex(_editedNode.location + change.to);
              exports.isEditing = true;
              editor.document.replaceRange(change.text, from, to);
              exports.isEditing = false;
  
              var newPos = codeMirror.posFromIndex(_editedNode.location + change.from + change.text.length);
              editor.setCursorPos(newPos.line, newPos.ch);
          }
      }
docs: WebInspector Event: DOM.characterDataModified