Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(605)

Unified Diff: third_party/WebKit/Source/devtools/front_end/emulation/InspectedPagePlaceholder.js

Issue 2609353002: DevTools: Remove left margin when DevTools is docked (Closed)
Patch Set: Created 3 years, 12 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
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;

Powered by Google App Engine
This is Rietveld 408576698