OLD | NEW |
1 /* | 1 /* |
2 * Copyright (C) 2010 Google Inc. All rights reserved. | 2 * Copyright (C) 2010 Google Inc. All rights reserved. |
3 * | 3 * |
4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
5 * modification, are permitted provided that the following conditions are | 5 * modification, are permitted provided that the following conditions are |
6 * met: | 6 * met: |
7 * | 7 * |
8 * * Redistributions of source code must retain the above copyright | 8 * * Redistributions of source code must retain the above copyright |
9 * notice, this list of conditions and the following disclaimer. | 9 * notice, this list of conditions and the following disclaimer. |
10 * * Redistributions in binary form must reproduce the above | 10 * * Redistributions in binary form must reproduce the above |
(...skipping 41 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
52 /** @type {!Array.<!WebInspector.TabbedPaneTab>} */ | 52 /** @type {!Array.<!WebInspector.TabbedPaneTab>} */ |
53 this._tabsHistory = []; | 53 this._tabsHistory = []; |
54 /** @type {!Object.<string, !WebInspector.TabbedPaneTab>} */ | 54 /** @type {!Object.<string, !WebInspector.TabbedPaneTab>} */ |
55 this._tabsById = {}; | 55 this._tabsById = {}; |
56 this._currentTabLocked = false; | 56 this._currentTabLocked = false; |
57 | 57 |
58 this._dropDownButton = this._createDropDownButton(); | 58 this._dropDownButton = this._createDropDownButton(); |
59 WebInspector.zoomManager.addEventListener(WebInspector.ZoomManager.Events.Zo
omChanged, this._zoomChanged, this); | 59 WebInspector.zoomManager.addEventListener(WebInspector.ZoomManager.Events.Zo
omChanged, this._zoomChanged, this); |
60 } | 60 } |
61 | 61 |
| 62 /** @enum {symbol} */ |
62 WebInspector.TabbedPane.EventTypes = { | 63 WebInspector.TabbedPane.EventTypes = { |
63 TabSelected: "TabSelected", | 64 TabSelected: Symbol("TabSelected"), |
64 TabClosed: "TabClosed", | 65 TabClosed: Symbol("TabClosed"), |
65 TabOrderChanged: "TabOrderChanged" | 66 TabOrderChanged: Symbol("TabOrderChanged") |
66 } | 67 } |
67 | 68 |
68 WebInspector.TabbedPane.prototype = { | 69 WebInspector.TabbedPane.prototype = { |
69 /** | 70 /** |
70 * @param {boolean} locked | 71 * @param {boolean} locked |
71 */ | 72 */ |
72 setCurrentTabLocked: function(locked) | 73 setCurrentTabLocked: function(locked) |
73 { | 74 { |
74 this._currentTabLocked = locked; | 75 this._currentTabLocked = locked; |
75 this._headerElement.classList.toggle("locked", this._currentTabLocked); | 76 this._headerElement.classList.toggle("locked", this._currentTabLocked); |
(...skipping 1163 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1239 * @param {!Array.<string>} ids | 1240 * @param {!Array.<string>} ids |
1240 */ | 1241 */ |
1241 closeTabs: function(tabbedPane, ids) { }, | 1242 closeTabs: function(tabbedPane, ids) { }, |
1242 | 1243 |
1243 /** | 1244 /** |
1244 * @param {string} tabId | 1245 * @param {string} tabId |
1245 * @param {!WebInspector.ContextMenu} contextMenu | 1246 * @param {!WebInspector.ContextMenu} contextMenu |
1246 */ | 1247 */ |
1247 onContextMenu: function(tabId, contextMenu) { } | 1248 onContextMenu: function(tabId, contextMenu) { } |
1248 } | 1249 } |
OLD | NEW |