Web Inspector: Tabbed pane should redraw tab elements when tab is closed.
authorvsevik@chromium.org <vsevik@chromium.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Mon, 5 Mar 2012 15:00:52 +0000 (15:00 +0000)
committervsevik@chromium.org <vsevik@chromium.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Mon, 5 Mar 2012 15:00:52 +0000 (15:00 +0000)
commit366b636e26668306b151a10abb6aad9ded17b99e
tree3ffb2f29ca211879234ca12066776e8fe6dbc58b
parentcd423f1d872afcbc82307a82105d04660b6add27
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):

git-svn-id: http://svn.webkit.org/repository/webkit/trunk@109740 268f45cc-cd09-0410-ab3c-d52691b4dbfc
Source/WebCore/ChangeLog
Source/WebCore/inspector/front-end/TabbedPane.js