| 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..d9ad72fd65cae6229ba246d3ef431aea7e4680b4 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
|
| @@ -455,6 +455,7 @@ UI.TabbedPane = class extends UI.VBox {
|
| setTabSlider(enable) {
|
| this._sliderEnabled = enable;
|
| this._tabSlider.classList.toggle('enabled', enable);
|
| + this._headerElement.classList.add('tabbed-pane-no-tab-borders');
|
| }
|
|
|
| /**
|
|
|