webkitgtk-2.16.5HEADwebkitgtk-2.16.5master

1 files changed, 0 insertions, 122 deletions

diff --git a/Source/WebInspectorUI/UserInterface/BackForwardEntry.js b/Source/WebInspectorUI/UserInterface/BackForwardEntry.js
deleted file mode 100644
index 94899bc44..000000000
--- a/Source/WebInspectorUI/UserInterface/BackForwardEntry.js
+++ /dev/null
@@ -1,122 +0,0 @@
-/*
- *  Copyright (C) 2013 University of Washington. All rights reserved.
- *
- * Redistribution and use in source and binary forms, with or without
- * modification, are permitted provided that the following conditions
- * are met:
- *
- * 1.  Redistributions of source code must retain the above copyright
- *     notice, this list of conditions and the following disclaimer.
- * 2.  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.
- *
- * 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
- * HOLDER 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.
- */
-
-WebInspector.BackForwardEntry = function(contentView, cookie)
-{
-    WebInspector.Object.call(this);
-    this._contentView = contentView;
-    // Cookies are compared with Object.shallowEqual, so should not store objects or arrays.
-    this._cookie = cookie || {};
-    this._scrollPositions = [];
-
-    contentView.saveToCookie(this._cookie);
-};
-
-WebInspector.BackForwardEntry.prototype = {
-    constructor: WebInspector.BackForwardEntry,
-    __proto__: WebInspector.Object.prototype,
-
-    // Public
-
-    get contentView()
-    {
-        return this._contentView;
-    },
-
-    get cookie()
-    {
-        // Cookies are immutable; they represent a specific navigation action.
-        return Object.shallowCopy(this._cookie);
-    },
-
-    prepareToShow: function()
-    {
-        this._restoreFromCookie();
-
-        this.contentView.visible = true;
-        this.contentView.shown();
-        this.contentView.updateLayout();
-    },
-
-    prepareToHide: function()
-    {
-        this.contentView.visible = false;
-        this.contentView.hidden();
-
-        this._saveScrollPositions();
-    },
-
-    // Private
-
-    _restoreFromCookie: function()
-    {
-        this._restoreScrollPositions();
-        this.contentView.restoreFromCookie(this.cookie);
-    },
-
-    _restoreScrollPositions: function()
-    {
-        // If no scroll positions are saved, do nothing.
-        if (!this._scrollPositions.length)
-            return;
-
-        var scrollableElements = this.contentView.scrollableElements || [];
-        console.assert(this._scrollPositions.length === scrollableElements.length);
-
-        for (var i = 0; i < scrollableElements.length; ++i) {
-            var position = this._scrollPositions[i];
-            var element = scrollableElements[i];
-            if (!element)
-                continue;
-
-            // Restore the top scroll position by either scrolling to the bottom or to the saved position.
-            element.scrollTop = position.isScrolledToBottom ? element.scrollHeight : position.scrollTop;
-
-            // Don't restore the left scroll position when scrolled to the bottom. This way the when content changes
-            // the user won't be left in a weird horizontal position.
-            element.scrollLeft = position.isScrolledToBottom ? 0 : position.scrollLeft;
-        }
-    },
-
-    _saveScrollPositions: function()
-    {
-        var scrollableElements = this.contentView.scrollableElements || [];
-        var scrollPositions = [];
-        for (var i = 0; i < scrollableElements.length; ++i) {
-            var element = scrollableElements[i];
-            if (!element)
-                continue;
-
-            var position = { scrollTop: element.scrollTop, scrollLeft: element.scrollLeft };
-            if (this.contentView.shouldKeepElementsScrolledToBottom)
-                position.isScrolledToBottom = element.isScrolledToBottom();
-
-            scrollPositions.push(position);
-        }
-
-        this._scrollPositions = scrollPositions;
-    }
-};