| Index: Source/devtools/front_end/SourcesPanel.js
|
| diff --git a/Source/devtools/front_end/SourcesPanel.js b/Source/devtools/front_end/SourcesPanel.js
|
| index 41d84a09ca9c71957ca2a469996cafb9fef21acc..0a307db345d0ba80d6700ae5eb8b3d544ad5b184 100644
|
| --- a/Source/devtools/front_end/SourcesPanel.js
|
| +++ b/Source/devtools/front_end/SourcesPanel.js
|
| @@ -1670,8 +1670,7 @@ WebInspector.SourcesPanel.prototype = {
|
|
|
| _dockSideChanged: function()
|
| {
|
| - var dockSide = WebInspector.dockController.dockSide();
|
| - var vertically = dockSide === WebInspector.DockController.State.DockedToRight && WebInspector.settings.splitVerticallyWhenDockedToRight.get();
|
| + var vertically = WebInspector.dockController.isVertical() && WebInspector.settings.splitVerticallyWhenDockedToRight.get();
|
| this._splitVertically(vertically);
|
| },
|
|
|
|
|