Chromium Code Reviews| Index: third_party/WebKit/Source/devtools/front_end/emulation/InspectedPagePlaceholder.js |
| diff --git a/third_party/WebKit/Source/devtools/front_end/emulation/InspectedPagePlaceholder.js b/third_party/WebKit/Source/devtools/front_end/emulation/InspectedPagePlaceholder.js |
| index dd46640f16c3fd320e350224c6928dd5d87a9bc4..0b4276c78cbdc6845a3c0be94784806bc78f6272 100644 |
| --- a/third_party/WebKit/Source/devtools/front_end/emulation/InspectedPagePlaceholder.js |
| +++ b/third_party/WebKit/Source/devtools/front_end/emulation/InspectedPagePlaceholder.js |
| @@ -25,8 +25,6 @@ Emulation.InspectedPagePlaceholder = class extends UI.Widget { |
| // Every parent which is not a split widget, must be of the same size as this widget. |
| if (parent instanceof UI.SplitWidget) { |
| var side = parent.sidebarSide(); |
| - if (adjacent[side] && !parent.hasCustomResizer() && parent.isResizable()) |
| - margins[side] = Emulation.InspectedPagePlaceholder.MarginValue; |
|
dgozman
2017/01/04 18:11:22
Remove everything about margins from this file now
einbinder
2017/01/05 20:41:00
Done.
|
| adjacent[side] = false; |
| } |
| widget = parent; |
| @@ -96,5 +94,3 @@ Emulation.InspectedPagePlaceholder = class extends UI.Widget { |
| Emulation.InspectedPagePlaceholder.Events = { |
| Update: Symbol('Update') |
| }; |
| - |
| -Emulation.InspectedPagePlaceholder.MarginValue = 3; |