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); |
}, |
/** |