[webkit-reviews] review granted: [Bug 80273] Web Inspector: Tabbed pane should redraw tab elements when tab is closed. : [Attachment 130104] Patch

[bugzilla-daemon at webkit.org]

Pavel Feldman <pfeldman at chromium.org> has granted Vsevolod Vlasov
<vsevik at chromium.org>'s request for review:
Bug 80273: Web Inspector: Tabbed pane should redraw tab elements when tab is
closed.
https://bugs.webkit.org/show_bug.cgi?id=80273

Attachment 130104: Patch
https://bugs.webkit.org/attachment.cgi?id=130104&action=review