DevTools: "Jump between editing locations" experiment

Source/devtools/front_end/TextRange.js

 /*
  * Copyright (C) 2013 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 136 matching lines @@
         if (this.startLine < other.startLine)
             return -1;
         if (this.startColumn > other.startColumn)
             return 1;
         if (this.startColumn < other.startColumn)
             return -1;
         return 0;
     },
 
     /**
+     * @param {!WebInspector.TextRange} other
+     * @return {boolean}
+     */
+    equal: function(other)
+    {
+        return this.startLine === other.startLine && this.endLine === other.endLine &&
+            this.startColumn === other.startColumn && this.endColumn === other.endColumn;
+    },
+
+    /**
      * @param {number} lineOffset
      * @return {!WebInspector.TextRange}
      */
     shift: function(lineOffset)
     {
         return new WebInspector.TextRange(this.startLine + lineOffset, this.startColumn, this.endLine + lineOffset, this.endColumn);
     },
 
     /**
      * @return {string}
      */
     toString: function()
     {
         return JSON.stringify(this);
     }
 }
 
 /**
  * @constructor
  * @param {number} offset
  * @param {number} length
  */
 WebInspector.SourceRange = function(offset, length)
 {
     this.offset = offset;
     this.length = length;
 }