| Index: third_party/WebKit/Source/devtools/front_end/components/ObjectPropertiesSection.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/components/ObjectPropertiesSection.js b/third_party/WebKit/Source/devtools/front_end/components/ObjectPropertiesSection.js
|
| index 2304c8658f5a8bc4402eb87317627b8db84b13ee..6fd85ce955890882a60a8708c314308e87f016e0 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/components/ObjectPropertiesSection.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/components/ObjectPropertiesSection.js
|
| @@ -600,7 +600,7 @@ WebInspector.ObjectPropertyTreeElement._appendEmptyPlaceholderIfNeeded = functio
|
| {
|
| if (treeNode.childCount())
|
| return;
|
| - var title = createElementWithClass("div", "info");
|
| + var title = createElementWithClass("div", "gray-info-message");
|
| title.textContent = emptyPlaceholder || WebInspector.UIString("No Properties");
|
| var infoElement = new TreeElement(title);
|
| treeNode.appendChild(infoElement);
|
|
|