OLD | NEW |
1 /* | 1 /* |
2 * Copyright (C) 2009 Google Inc. All rights reserved. | 2 * Copyright (C) 2009 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 88 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
99 WebInspector.View.prototype.show.call(this, document.body); | 99 WebInspector.View.prototype.show.call(this, document.body); |
100 | 100 |
101 if (view) | 101 if (view) |
102 view.show(this._contentDiv); | 102 view.show(this._contentDiv); |
103 else | 103 else |
104 this._contentDiv.appendChild(this.contentElement); | 104 this._contentDiv.appendChild(this.contentElement); |
105 | 105 |
106 this._positionElement(anchor, preferredWidth, preferredHeight); | 106 this._positionElement(anchor, preferredWidth, preferredHeight); |
107 | 107 |
108 if (this._popoverHelper) { | 108 if (this._popoverHelper) { |
109 this.element.addEventListener("mousemove", this._popoverHelper._kill
HidePopoverTimer.bind(this._popoverHelper), true); | 109 contentElement.addEventListener("mousemove", this._popoverHelper._ki
llHidePopoverTimer.bind(this._popoverHelper), true); |
110 this.element.addEventListener("mouseout", this._popoverHelper._popov
erMouseOut.bind(this._popoverHelper), true); | 110 this.element.addEventListener("mouseout", this._popoverHelper._popov
erMouseOut.bind(this._popoverHelper), true); |
111 } | 111 } |
112 }, | 112 }, |
113 | 113 |
114 hide: function() | 114 hide: function() |
115 { | 115 { |
116 this.detach(); | 116 this.detach(); |
117 delete WebInspector.Popover._popover; | 117 delete WebInspector.Popover._popover; |
118 }, | 118 }, |
119 | 119 |
(...skipping 230 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
350 if (this._hidePopoverTimer) { | 350 if (this._hidePopoverTimer) { |
351 clearTimeout(this._hidePopoverTimer); | 351 clearTimeout(this._hidePopoverTimer); |
352 delete this._hidePopoverTimer; | 352 delete this._hidePopoverTimer; |
353 | 353 |
354 // We know that we reached the popup, but we might have moved over o
ther elements. | 354 // We know that we reached the popup, but we might have moved over o
ther elements. |
355 // Discard pending command. | 355 // Discard pending command. |
356 this._resetHoverTimer(); | 356 this._resetHoverTimer(); |
357 } | 357 } |
358 } | 358 } |
359 } | 359 } |
OLD | NEW |