Title: [109740] trunk/Source/WebCore
- Revision
- 109740
- Author
- vse...@chromium.org
- Date
- 2012-03-05 07:00:52 -0800 (Mon, 05 Mar 2012)
Log Message
Web Inspector: Tabbed pane should redraw tab elements when tab is closed.
https://bugs.webkit.org/show_bug.cgi?id=80273
Reviewed by Pavel Feldman.
* inspector/front-end/TabbedPane.js:
(WebInspector.TabbedPane.prototype.closeTab):
Modified Paths
Diff
Modified: trunk/Source/WebCore/ChangeLog (109739 => 109740)
--- trunk/Source/WebCore/ChangeLog 2012-03-05 14:54:54 UTC (rev 109739)
+++ trunk/Source/WebCore/ChangeLog 2012-03-05 15:00:52 UTC (rev 109740)
@@ -1,3 +1,13 @@
+2012-03-05 Vsevolod Vlasov <vse...@chromium.org>
+
+ Web Inspector: Tabbed pane should redraw tab elements when tab is closed.
+ https://bugs.webkit.org/show_bug.cgi?id=80273
+
+ Reviewed by Pavel Feldman.
+
+ * inspector/front-end/TabbedPane.js:
+ (WebInspector.TabbedPane.prototype.closeTab):
+
2012-03-05 Alexander Færøy <alexander.fae...@nokia.com>
Improve comments in the tiled backing store
Modified: trunk/Source/WebCore/inspector/front-end/TabbedPane.js (109739 => 109740)
--- trunk/Source/WebCore/inspector/front-end/TabbedPane.js 2012-03-05 14:54:54 UTC (rev 109739)
+++ trunk/Source/WebCore/inspector/front-end/TabbedPane.js 2012-03-05 15:00:52 UTC (rev 109740)
@@ -114,11 +114,9 @@
closeTab: function(id, userGesture)
{
this._innerCloseTab(id, userGesture);
-
+ this._updateTabElements();
if (this._tabsHistory.length)
this.selectTab(this._tabsHistory[0].id, userGesture);
- else
- this._updateTabElements();
},
/**
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
http://lists.webkit.org/mailman/listinfo.cgi/webkit-changes
