| 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 22 matching lines...) Expand all Loading... |
| 33 * @constructor | 33 * @constructor |
| 34 */ | 34 */ |
| 35 WebInspector.TabbedPane = function() | 35 WebInspector.TabbedPane = function() |
| 36 { | 36 { |
| 37 WebInspector.View.call(this); | 37 WebInspector.View.call(this); |
| 38 this.registerRequiredCSS("tabbedPane.css"); | 38 this.registerRequiredCSS("tabbedPane.css"); |
| 39 this.element.addStyleClass("tabbed-pane"); | 39 this.element.addStyleClass("tabbed-pane"); |
| 40 this._headerElement = this.element.createChild("div", "tabbed-pane-header"); | 40 this._headerElement = this.element.createChild("div", "tabbed-pane-header"); |
| 41 this._headerContentsElement = this._headerElement.createChild("div", "tabbed
-pane-header-contents"); | 41 this._headerContentsElement = this._headerElement.createChild("div", "tabbed
-pane-header-contents"); |
| 42 this._tabsElement = this._headerContentsElement.createChild("div", "tabbed-p
ane-header-tabs"); | 42 this._tabsElement = this._headerContentsElement.createChild("div", "tabbed-p
ane-header-tabs"); |
| 43 this._contentElement = this.element.createChild("div", "tabbed-pane-content"
); | 43 this._contentElement = this.element.createChild("div", "tabbed-pane-content
scroll-target"); |
| 44 this._tabs = []; | 44 this._tabs = []; |
| 45 this._tabsHistory = []; | 45 this._tabsHistory = []; |
| 46 this._tabsById = {}; | 46 this._tabsById = {}; |
| 47 this.element.addEventListener("click", this.focus.bind(this), false); | 47 this.element.addEventListener("click", this.focus.bind(this), false); |
| 48 this.element.addEventListener("mouseup", this.onMouseUp.bind(this), false); | 48 this.element.addEventListener("mouseup", this.onMouseUp.bind(this), false); |
| 49 | 49 |
| 50 this._dropDownButton = this._createDropDownButton(); | 50 this._dropDownButton = this._createDropDownButton(); |
| 51 } | 51 } |
| 52 | 52 |
| 53 WebInspector.TabbedPane.EventTypes = { | 53 WebInspector.TabbedPane.EventTypes = { |
| (...skipping 756 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 810 /** | 810 /** |
| 811 * @param {Event} event | 811 * @param {Event} event |
| 812 */ | 812 */ |
| 813 _endTabDragging: function(event) | 813 _endTabDragging: function(event) |
| 814 { | 814 { |
| 815 this._tabElement.style.removeProperty("position"); | 815 this._tabElement.style.removeProperty("position"); |
| 816 this._tabElement.style.removeProperty("left"); | 816 this._tabElement.style.removeProperty("left"); |
| 817 delete this._dragStartX; | 817 delete this._dragStartX; |
| 818 } | 818 } |
| 819 } | 819 } |
| OLD | NEW |