| Index: third_party/WebKit/Source/devtools/front_end/ui/View.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/View.js b/third_party/WebKit/Source/devtools/front_end/ui/View.js
|
| index 5b866d8d444c30a7234c1ea124471a82210ca52c..f8639361cc8017a3c55dde79370b85710b95dc20 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/View.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/View.js
|
| @@ -303,12 +303,14 @@ WebInspector.ViewManager = function()
|
| WebInspector.ViewManager.prototype = {
|
| /**
|
| * @param {!WebInspector.Widget} widget
|
| + * @return {!Promise}
|
| */
|
| revealViewWithWidget: function(widget)
|
| {
|
| var view = widget[WebInspector.View._symbol];
|
| if (view)
|
| - this.revealView(view);
|
| + return this.revealView(view);
|
| + return Promise.resolve();
|
| },
|
|
|
| /**
|
| @@ -326,6 +328,15 @@ WebInspector.ViewManager.prototype = {
|
|
|
| /**
|
| * @param {string} viewId
|
| + * @return {?WebInspector.View}
|
| + */
|
| + view: function(viewId)
|
| + {
|
| + return this._views.get(viewId);
|
| + },
|
| +
|
| + /**
|
| + * @param {string} viewId
|
| * @return {!Promise}
|
| */
|
| showView: function(viewId)
|
| @@ -341,7 +352,7 @@ WebInspector.ViewManager.prototype = {
|
|
|
| return this._resolveLocation(locationName).then(location => {
|
| if (!location)
|
| - return;
|
| + throw new Error("Could not resolve location for view: " + viewId);
|
| location._reveal();
|
| return location.showView(view);
|
| });
|
|
|