Chromium Code Reviews| Index: third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js |
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js |
| index 3616263ac050f151e60f7213914d8f8037298465..6dcf613af51facc736e082dbf694890e92f6d062 100644 |
| --- a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js |
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js |
| @@ -823,6 +823,10 @@ UI.TabbedPane = class extends UI.VBox { |
| this._headerElement.classList.add('tabbed-pane-no-header-background'); |
| } |
| + renderWithNoTabBorders() { |
|
pfeldman
2016/12/10 02:15:59
Same as slider?
|
| + this._headerElement.classList.add('tabbed-pane-no-tab-borders'); |
| + } |
| + |
| /** |
| * @param {boolean} allow |
| * @param {boolean=} automatic |