| Index: Source/devtools/front_end/sources/SourcesSearchScope.js
|
| diff --git a/Source/devtools/front_end/sources/SourcesSearchScope.js b/Source/devtools/front_end/sources/SourcesSearchScope.js
|
| index d4940cf310170ae1817fa7d3333e9c62a0f9d010..f19999fd6f0d8c5db35b59fad33f814560f2ac7c 100644
|
| --- a/Source/devtools/front_end/sources/SourcesSearchScope.js
|
| +++ b/Source/devtools/front_end/sources/SourcesSearchScope.js
|
| @@ -34,7 +34,6 @@ WebInspector.SourcesSearchScope = function()
|
| {
|
| // FIXME: Add title once it is used by search controller.
|
| this._searchId = 0;
|
| - this._workspace = WebInspector.workspace;
|
| }
|
|
|
| WebInspector.SourcesSearchScope.prototype = {
|
| @@ -86,7 +85,7 @@ WebInspector.SourcesSearchScope.prototype = {
|
| return WebInspector.settings.searchInContentScripts.get() || project.type() !== WebInspector.projectTypes.ContentScripts;
|
| }
|
|
|
| - return this._workspace.projects().filter(filterOutServiceProjects).filter(filterOutContentScriptsIfNeeded);
|
| + return WebInspector.workspace.projects().filter(filterOutServiceProjects).filter(filterOutContentScriptsIfNeeded);
|
| },
|
|
|
| /**
|
|
|