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

Unified Diff: third_party/WebKit/Source/devtools/front_end/ui/Panel.js

Issue 2895733002: DevTools: remove unused UI related code (Closed)
Patch Set: Created 3 years, 7 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/ui/Panel.js
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/Panel.js b/third_party/WebKit/Source/devtools/front_end/ui/Panel.js
index 3214010672910b51cc34fb5d91a6cfa9bc81d5b6..ff76ca7d59885c346544d356dfe339304378d7a0 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/Panel.js
+++ b/third_party/WebKit/Source/devtools/front_end/ui/Panel.js
@@ -106,9 +106,6 @@ UI.Panel = class extends UI.VBox {
}
};
-// Should by in sync with style declarations.
-UI.Panel.counterRightMargin = 25;
luoe 2017/05/22 17:50:48 Added: https://chromium.googlesource.com/chromium
-
/**
* @unrestricted
*/

Powered by Google App Engine
This is Rietveld 408576698