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 |
*/ |