Chromium Code Reviews| 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 |
| */ |