| Index: third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js b/third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js
|
| index 49077735edd43c41ef819b528c667a4c7de373f4..2a1ebf13536eceb6bbc82211c4179c2287d7584b 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js
|
| @@ -990,7 +990,7 @@ UI.revertDomChanges = function(domChanges) {
|
| /**
|
| * @param {!Element} element
|
| * @param {?Element=} containerElement
|
| - * @return {!Size}
|
| + * @return {!UI.Size}
|
| */
|
| UI.measurePreferredSize = function(element, containerElement) {
|
| var oldParent = element.parentElement;
|
| @@ -1005,7 +1005,7 @@ UI.measurePreferredSize = function(element, containerElement) {
|
| oldParent.insertBefore(element, oldNextSibling);
|
| else
|
| element.remove();
|
| - return new Size(result.width, result.height);
|
| + return new UI.Size(result.width, result.height);
|
| };
|
|
|
| /**
|
|
|