occaecatidicta
Version:
367 lines (312 loc) • 10.8 kB
JavaScript
/*
* Copyright (C) 2011 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:
*
* 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 GOOGLE INC. AND ITS 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 GOOGLE INC.
* OR ITS 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.
*/
/**
* @implements {WebInspector.EditorContainer}
* @extends {WebInspector.Object}
* @constructor
* @param {WebInspector.EditorContainerDelegate} delegate
*/
WebInspector.TabbedEditorContainer = function(delegate)
{
this._delegate = delegate;
this._tabbedPane = new WebInspector.TabbedPane();
this._tabbedPane.closeableTabs = true;
this._tabbedPane.element.id = "scripts-editor-container-tabbed-pane";
this._tabbedPane.addEventListener(WebInspector.TabbedPane.EventTypes.TabClosed, this._tabClosed, this);
this._tabbedPane.addEventListener(WebInspector.TabbedPane.EventTypes.TabSelected, this._tabSelected, this);
this._tabIds = new Map();
this._files = {};
this._loadedURLs = {};
this._previouslyViewedFilesSetting = WebInspector.settings.createSetting("previouslyViewedFiles", []);
this._history = new WebInspector.TabbedEditorContainer.History(this._previouslyViewedFilesSetting.get());
}
WebInspector.TabbedEditorContainer._tabId = 0;
WebInspector.TabbedEditorContainer.maximalPreviouslyViewedFilesCount = 30;
WebInspector.TabbedEditorContainer.prototype = {
/**
* @type {WebInspector.SourceFrame}
*/
get visibleView()
{
return this._tabbedPane.visibleView;
},
/**
* @type {Element}
*/
get element()
{
return this._tabbedPane.element;
},
/**
* @param {Element} parentElement
*/
show: function(parentElement)
{
this._tabbedPane.show(parentElement);
},
/**
* @param {WebInspector.UISourceCode} uiSourceCode
*/
showFile: function(uiSourceCode)
{
this._innerShowFile(uiSourceCode, true);
},
/**
* @param {WebInspector.UISourceCode} uiSourceCode
* @param {boolean=} userGesture
*/
_innerShowFile: function(uiSourceCode, userGesture)
{
if (this._currentFile === uiSourceCode)
return;
this._currentFile = uiSourceCode;
var tabId = this._tabIds.get(uiSourceCode) || this._appendFileTab(uiSourceCode, userGesture);
this._tabbedPane.selectTab(tabId, userGesture);
if (userGesture)
this._editorSelectedByUserAction();
this.dispatchEventToListeners(WebInspector.EditorContainer.Events.EditorSelected, this._currentFile);
},
/**
* @param {WebInspector.UISourceCode} uiSourceCode
* @return {string}
*/
_titleForFile: function(uiSourceCode)
{
return uiSourceCode.displayName;
},
/**
* @param {WebInspector.UISourceCode} uiSourceCode
*/
uiSourceCodeAdded: function(uiSourceCode)
{
if (this._userSelectedFiles || this._loadedURLs[uiSourceCode.url])
return;
this._loadedURLs[uiSourceCode.url] = true;
var index = this._history.index(uiSourceCode.url)
if (index === -1)
return;
var tabId = this._tabIds.get(uiSourceCode) || this._appendFileTab(uiSourceCode, false);
// Select tab if this file was the last to be shown.
if (index === 0)
this._innerShowFile(uiSourceCode, false);
},
/**
* @param {WebInspector.UISourceCode} uiSourceCode
*/
_editorClosedByUserAction: function(uiSourceCode)
{
this._userSelectedFiles = true;
this._history.remove(uiSourceCode.url);
this._updateHistory();
},
_editorSelectedByUserAction: function()
{
this._userSelectedFiles = true;
this._updateHistory();
},
_updateHistory: function()
{
var tabIds = this._tabbedPane.lastOpenedTabIds(WebInspector.TabbedEditorContainer.maximalPreviouslyViewedFilesCount);
function tabIdToURL(tabId)
{
return this._files[tabId].url;
}
this._history.update(tabIds.map(tabIdToURL.bind(this)));
this._history.save(this._previouslyViewedFilesSetting);
},
/**
* @param {WebInspector.UISourceCode} uiSourceCode
* @return {string}
*/
_tooltipForFile: function(uiSourceCode)
{
return uiSourceCode.url;
},
/**
* @param {WebInspector.UISourceCode} uiSourceCode
* @param {boolean=} userGesture
*/
_appendFileTab: function(uiSourceCode, userGesture)
{
var view = this._delegate.viewForFile(uiSourceCode);
var title = this._titleForFile(uiSourceCode);
var tooltip = this._tooltipForFile(uiSourceCode);
var tabId = this._generateTabId();
this._tabIds.put(uiSourceCode, tabId);
this._files[tabId] = uiSourceCode;
this._tabbedPane.appendTab(tabId, title, view, tooltip, userGesture);
return tabId;
},
/**
* @param {WebInspector.UISourceCode} uiSourceCode
*/
_removeFileTab: function(uiSourceCode)
{
var tabId = this._tabIds.get(uiSourceCode);
if (tabId)
this._tabbedPane.closeTab(tabId);
},
/**
* @param {WebInspector.Event} event
*/
_tabClosed: function(event)
{
var tabId = /** @type {string} */ event.data.tabId;
var userGesture = /** @type {boolean} */ event.data.isUserGesture;
var uiSourceCode = this._files[tabId];
this._tabIds.remove(uiSourceCode);
delete this._files[tabId];
delete this._currentFile;
this.dispatchEventToListeners(WebInspector.EditorContainer.Events.EditorClosed, uiSourceCode);
if (userGesture)
this._editorClosedByUserAction(uiSourceCode);
},
/**
* @param {WebInspector.Event} event
*/
_tabSelected: function(event)
{
var tabId = /** @type {string} */ event.data.tabId;
var userGesture = /** @type {boolean} */ event.data.isUserGesture;
var uiSourceCode = this._files[tabId];
this._innerShowFile(uiSourceCode, userGesture);
},
/**
* @param {WebInspector.UISourceCode} oldUISourceCode
* @param {WebInspector.UISourceCode} newUISourceCode
*/
_replaceFileTab: function(oldUISourceCode, newUISourceCode)
{
var tabId = this._tabIds.get(oldUISourceCode);
if (!tabId)
return;
delete this._files[this._tabIds.get(oldUISourceCode)]
this._tabIds.remove(oldUISourceCode);
this._tabIds.put(newUISourceCode, tabId);
this._files[tabId] = newUISourceCode;
this._tabbedPane.changeTabTitle(tabId, this._titleForFile(newUISourceCode));
this._tabbedPane.changeTabView(tabId, this._delegate.viewForFile(newUISourceCode));
this._tabbedPane.changeTabTooltip(tabId, this._tooltipForFile(newUISourceCode));
},
/**
* @param {Array.<WebInspector.UISourceCode>} oldUISourceCodeList
* @param {Array.<WebInspector.UISourceCode>} uiSourceCodeList
*/
replaceFiles: function(oldUISourceCodeList, uiSourceCodeList)
{
var mainFile;
for (var i = 0; i < oldUISourceCodeList.length; ++i) {
var tabId = this._tabIds.get(oldUISourceCodeList[i]);
if (tabId && (!mainFile || this._tabbedPane.selectedTabId === tabId)) {
mainFile = oldUISourceCodeList[i];
break;
}
}
if (!mainFile)
return;
this._replaceFileTab(mainFile, uiSourceCodeList[0]);
for (var i = 0; i < oldUISourceCodeList.length; ++i)
this._removeFileTab(oldUISourceCodeList[i]);
},
/**
* @param {WebInspector.UISourceCode} uiSourceCode
* @param {boolean} isDirty
*/
setFileIsDirty: function(uiSourceCode, isDirty)
{
var tabId = this._tabIds.get(uiSourceCode);
if (tabId) {
var title = this._titleForFile(uiSourceCode);
if (isDirty)
title += "*";
this._tabbedPane.changeTabTitle(tabId, title);
}
},
reset: function()
{
this._tabbedPane.closeAllTabs();
this._tabIds = new Map();
this._files = {};
delete this._currentFile;
delete this._userSelectedFiles;
this._loadedURLs = {};
},
/**
* @return {string}
*/
_generateTabId: function()
{
return "tab_" + (WebInspector.TabbedEditorContainer._tabId++);
}
}
WebInspector.TabbedEditorContainer.prototype.__proto__ = WebInspector.Object.prototype;
/**
* @constructor
*/
WebInspector.TabbedEditorContainer.History = function(urls)
{
this._urls = urls;
}
WebInspector.TabbedEditorContainer.History.prototype = {
/**
* @param {string} url
*/
index: function(url)
{
return this._urls.indexOf(url);
},
/**
* @param {Array.<string>} urls
*/
update: function(urls)
{
for (var i = urls.length - 1; i >= 0; --i) {
var index = this._urls.indexOf(urls[i]);
if (index !== -1)
this._urls.splice(index, 1);
this._urls.unshift(urls[i]);
}
},
/**
* @param {string} url
*/
remove: function(url)
{
var index = this._urls.indexOf(url);
if (index !== -1)
this._urls.splice(index, 1);
},
/**
* @param {WebInspector.Setting} setting
*/
save: function(setting)
{
setting.set(this._urls);
}
}
WebInspector.TabbedEditorContainer.History.prototype.__proto__ = WebInspector.Object.prototype;