Changeset 109740 in webkit

Timestamp:

Mar 5, 2012 7:00:52 AM (12 years ago)

Author:

vsevik@chromium.org

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):

Location:

trunk/Source/WebCore

Files:

• ChangeLog (modified) (1 diff)
• inspector/front-end/TabbedPane.js (modified) (1 diff)

trunk/Source/WebCore/ChangeLog

@@ +1 @@
+2012-03-05  Vsevolod Vlasov  <vsevik@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.faeroy@nokia.com>
 

trunk/Source/WebCore/inspector/front-end/TabbedPane.js

@@ -115 +115 @@
     {
         this._innerCloseTab(id, userGesture);
-
+        this._updateTabElements();
         if (this._tabsHistory.length)
             this.selectTab(this._tabsHistory[0].id, userGesture);
-        else
-            this._updateTabElements();
     },