DevTools: Roll CodeMirror to 5.25.1

third_party/WebKit/Source/devtools/front_end/cm/markselection.js

Index: third_party/WebKit/Source/devtools/front_end/cm/markselection.js
diff --git a/third_party/WebKit/Source/devtools/front_end/cm/markselection.js b/third_party/WebKit/Source/devtools/front_end/cm/markselection.js
index 5c42d21eb2d0d00e65d7a1fe139cf767f2ead084..6cceeae6c73db35bbaa1652dd09dc24ecc0997e0 100644
--- a/third_party/WebKit/Source/devtools/front_end/cm/markselection.js
+++ b/third_party/WebKit/Source/devtools/front_end/cm/markselection.js
@@ -34,11 +34,12 @@
   });
 
   function onCursorActivity(cm) {
-    cm.operation(function() { update(cm); });
+    if (cm.state.markedSelection)
+      cm.operation(function() { update(cm); });
   }
 
   function onChange(cm) {
-    if (cm.state.markedSelection.length)
+    if (cm.state.markedSelection && cm.state.markedSelection.length)
       cm.operation(function() { clear(cm); });
   }