DevTools: "Jump between editing locations" experiment

Source/devtools/front_end/EditingLocationHistoryManager.js

Index: Source/devtools/front_end/EditingLocationHistoryManager.js
diff --git a/Source/devtools/front_end/EditingLocationHistoryManager.js b/Source/devtools/front_end/EditingLocationHistoryManager.js
new file mode 100644
index 0000000000000000000000000000000000000000..c0ce99190da6315c2b14a1df68e1ba3aa58b7f7e
--- /dev/null
+++ b/Source/devtools/front_end/EditingLocationHistoryManager.js
@@ -0,0 +1,208 @@
+/*
+ * Copyright (C) 2014 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
+ * copyright notice, this list of conditions and the following disclaimer
+ * in the documentation and/or other materials provided with the
+ * distribution.
+ *     * Neither the name of Google Inc. nor the names of its
+ * contributors may be used to endorse or promote products derived from
+ * this software without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+ * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+ * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+ * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+ * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+ * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+ * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+ * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+ * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+
+/**
+ * @constructor
+ * @param {!WebInspector.SourcesPanel} sourcesPanel
+ * @param {!function():!WebInspector.SourceFrame} currentSourceFrameCallback
+ */
+WebInspector.EditingLocationHistoryManager = function(sourcesPanel, currentSourceFrameCallback)
+{
+    this._sourcesPanel = sourcesPanel;
+    this._historyManager = new WebInspector.SimpleHistoryManager(WebInspector.EditingLocationHistoryManager.HistoryDepth);
+    this._currentSourceFrameCallback = currentSourceFrameCallback;
+}
+
+WebInspector.EditingLocationHistoryManager.HistoryDepth = 20;
+
+WebInspector.EditingLocationHistoryManager.prototype = {
+    /**
+     * @param {!WebInspector.UISourceCodeFrame} sourceFrame
+     */
+    trackSourceFrameCursorJumps: function(sourceFrame)
+    {
+        sourceFrame.addEventListener(WebInspector.SourceFrame.Events.JumpHappened, this._onJumpHappened.bind(this));
+    },
+
+    /**
+     * @param {!WebInspector.Event} event
+     */
+    _onJumpHappened: function(event)
+    {
+        if (event.data.from)
+            this._updateActiveState(event.data.from);
+        if (event.data.to)
+            this._pushActiveState(event.data.to);
+    },
+
+    rollback: function()
+    {
+        this._historyManager.rollback();
+    },
+
+    rollover: function()
+    {
+        this._historyManager.rollover();
+    },
+
+    readOnlyLock: function()

[vsevik, 2014/01/17 16:30:01]

Unused

[lushnikov, 2014/01/17 17:33:53]

Done.

+    {
+        this._historyManager.readOnlyLock();
+    },
+
+    releaseReadOnlyLock: function()

[vsevik, 2014/01/17 16:30:01]

Unused

[lushnikov, 2014/01/17 17:33:53]

Done.

+    {
+        this._historyManager.releaseReadOnlyLock();
+    },
+
+    updateCurrentState: function()
+    {
+        var sourceFrame = this._currentSourceFrameCallback();
+        if (!sourceFrame)
+            return;
+        this._updateActiveState(sourceFrame.textEditor.selection());
+    },
+
+    pushNewState: function()
+    {
+        var sourceFrame = this._currentSourceFrameCallback();
+        if (!sourceFrame)
+            return;
+        this._pushActiveState(sourceFrame.textEditor.selection());
+    },
+
+    /**
+     * @param {!WebInspector.TextRange} selection
+     */
+    _updateActiveState: function(selection)
+    {
+        var active = this._historyManager.active();
+        if (!active)
+            return;
+        var sourceFrame = this._currentSourceFrameCallback();
+        if (!sourceFrame)
+            return;
+        var entry = new WebInspector.EditingLocationHistoryEntry(this._sourcesPanel, this, sourceFrame, selection);
+        active.merge(entry);
+    },
+
+    /**
+     * @param {!WebInspector.TextRange} selection
+     */
+    _pushActiveState: function(selection)
+    {
+        var sourceFrame = this._currentSourceFrameCallback();
+        if (!sourceFrame)
+            return;
+        var entry = new WebInspector.EditingLocationHistoryEntry(this._sourcesPanel, this, sourceFrame, selection);
+        this._historyManager.push(entry);
+    },
+
+    /**
+     * @param {!WebInspector.UISourceCode} uiSourceCode
+     */
+    removeHistoryForSourceCode: function(uiSourceCode)
+    {
+        function filterOut(entry)
+        {
+            return entry._projectId === uiSourceCode.project().id() && entry._path === uiSourceCode.path();
+        }
+
+        this._historyManager.filterOut(filterOut);
+    },
+}
+
+
+/**
+ * @constructor
+ * @implements {WebInspector.HistoryEntry}
+ * @param {!WebInspector.SourcesPanel} sourcesPanel
+ * @param {!WebInspector.EditingLocationHistoryManager} editingLocationManager
+ * @param {!WebInspector.SourceFrame} sourceFrame
+ * @param {!WebInspector.TextRange} selection
+ */
+WebInspector.EditingLocationHistoryEntry = function(sourcesPanel, editingLocationManager, sourceFrame, selection)
+{
+    this._sourcesPanel = sourcesPanel;
+    this._editingLocationManager = editingLocationManager;
+    var uiSourceCode = sourceFrame.sourceCode();
+    this._projectId = uiSourceCode.project().id();
+    this._path = uiSourceCode.path();
+
+    var position = this._positionFromSelection(selection);
+    this._positionHandle = sourceFrame.textEditor.textEditorPositionHandle(position.lineNumber, position.columnNumber);
+}
+
+WebInspector.EditingLocationHistoryEntry.prototype = {
+    /**
+     * @param {!WebInspector.HistoryEntry} entry
+     */
+    merge: function(entry)
+    {
+        if (this._projectId !== entry._projectId || this._path !== entry._path)
+            return;
+        this._positionHandle = entry._positionHandle;
+    },
+
+    /**
+     * @param {!WebInspector.TextRange} selection
+     * @return {!{lineNumber: number, columnNumber: number}}
+     */
+    _positionFromSelection: function(selection)
+    {
+        return {
+            lineNumber: selection.endLine,
+            columnNumber: selection.endColumn
+        };
+    },
+
+    /**
+     * @return {boolean}
+     */
+    valid: function()
+    {
+        var position = this._positionHandle.resolve();
+        var uiSourceCode = WebInspector.workspace.project(this._projectId).uiSourceCode(this._path);
+        return !!(position && uiSourceCode);
+    },
+
+    reveal: function()
+    {
+        var position = this._positionHandle.resolve();
+        var uiSourceCode = WebInspector.workspace.project(this._projectId).uiSourceCode(this._path);
+        if (!position || !uiSourceCode)
+            return;
+
+        this._editingLocationManager.updateCurrentState();
+        this._sourcesPanel.showUISourceCode(uiSourceCode);

[vsevik, 2014/01/17 16:30:01]

showSourceLocation instead?

[lushnikov, 2014/01/17 17:33:53]

Done.

+        this._sourcesPanel.focus();
+        this._sourcesPanel.highlightPosition(position.lineNumber, position.columnNumber);
+    }
+};