| Index: third_party/WebKit/Source/devtools/front_end/ui/SplitWidget.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/SplitWidget.js b/third_party/WebKit/Source/devtools/front_end/ui/SplitWidget.js
|
| index ee90636acaf03d603b177d822fdb488cc247e7fc..3bca4866f1031f4bec24155f01dba7d2cd995bd7 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/SplitWidget.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/SplitWidget.js
|
| @@ -738,8 +738,12 @@ UI.SplitWidget = class extends UI.Widget {
|
| this._resizeStartSizeDIP = 0;
|
| }
|
|
|
| - hideDefaultResizer() {
|
| + /**
|
| + * @param {boolean=} noSplitter
|
| + */
|
| + hideDefaultResizer(noSplitter) {
|
| this.uninstallResizer(this._resizerElement);
|
| + this._sidebarElement.classList.toggle('no-default-splitter', noSplitter);
|
| }
|
|
|
| /**
|
|
|