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 |