| Index: Source/devtools/front_end/SourcesPanel.js
|
| diff --git a/Source/devtools/front_end/SourcesPanel.js b/Source/devtools/front_end/SourcesPanel.js
|
| index e617973d7bc8b7143647d1f6f423ba6e747f9ccc..39588f229757d6622a1653392124867cedbbaab5 100644
|
| --- a/Source/devtools/front_end/SourcesPanel.js
|
| +++ b/Source/devtools/front_end/SourcesPanel.js
|
| @@ -84,7 +84,7 @@ WebInspector.SourcesPanel = function(workspaceForTest)
|
| this.editorView.show(this._splitView.mainElement());
|
|
|
| this._navigator = new WebInspector.SourcesNavigator(this._workspace);
|
| - this._navigator.view.setMinimumSize(Preferences.minSidebarWidth, 25);
|
| + this._navigator.view.setConstraints(Preferences.minSidebarWidth, 25);
|
| this._navigator.view.show(this.editorView.sidebarElement());
|
| this._navigator.addEventListener(WebInspector.SourcesNavigator.Events.SourceSelected, this._sourceSelected, this);
|
| this._navigator.addEventListener(WebInspector.SourcesNavigator.Events.SourceRenamed, this._sourceRenamed, this);
|
| @@ -996,7 +996,7 @@ WebInspector.SourcesPanel.prototype = {
|
| vbox.element.appendChild(this._debugToolbarDrawer);
|
| vbox.element.appendChild(this.debugToolbar);
|
| vbox.element.appendChild(this.threadsToolbar.element);
|
| - vbox.setMinimumSize(WebInspector.SourcesPanel.minToolbarWidth, 25);
|
| + vbox.setConstraints(25, 25, WebInspector.SourcesPanel.minToolbarWidth, 100);
|
| var sidebarPaneStack = new WebInspector.SidebarPaneStack();
|
| sidebarPaneStack.element.classList.add("flex-auto");
|
| sidebarPaneStack.show(vbox.element);
|
|
|