| Index: third_party/WebKit/Source/devtools/front_end/sources/SourcesView.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sources/SourcesView.js b/third_party/WebKit/Source/devtools/front_end/sources/SourcesView.js
|
| index 103ac813d1e3e4f8ca25c71798071207d733c380..b291e14b53b887e16e1f6493381bd61427727bc3 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sources/SourcesView.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sources/SourcesView.js
|
| @@ -175,12 +175,18 @@ WebInspector.SourcesView.prototype = {
|
| event.consume(true);
|
| },
|
|
|
| + /**
|
| + * @override
|
| + */
|
| wasShown: function()
|
| {
|
| WebInspector.VBox.prototype.wasShown.call(this);
|
| WebInspector.context.setFlavor(WebInspector.SourcesView, this);
|
| },
|
|
|
| + /**
|
| + * @override
|
| + */
|
| willHide: function()
|
| {
|
| WebInspector.context.setFlavor(WebInspector.SourcesView, null);
|
| @@ -204,7 +210,7 @@ WebInspector.SourcesView.prototype = {
|
| },
|
|
|
| /**
|
| - * @return {!WebInspector.Widget}
|
| + * @return {?WebInspector.Widget}
|
| */
|
| visibleView: function()
|
| {
|
|
|