From 09ab5955d6bfa9d187e6a398da968049a01c4f50 Mon Sep 17 00:00:00 2001
From: Nikolay Krasko <nikolay.krasko@jetbrains.com>
Date: Sat, 9 Jun 2012 18:37:48 +0400
Subject: [PATCH] Modify scope for searching sources - also allow to index
 source in libraries

---
 .../jetbrains/jet/plugin/stubindex/JetSourceFilterScope.java   | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/idea/src/org/jetbrains/jet/plugin/stubindex/JetSourceFilterScope.java b/idea/src/org/jetbrains/jet/plugin/stubindex/JetSourceFilterScope.java
index cc49faa05a9..d80a6fecf32 100644
--- a/idea/src/org/jetbrains/jet/plugin/stubindex/JetSourceFilterScope.java
+++ b/idea/src/org/jetbrains/jet/plugin/stubindex/JetSourceFilterScope.java
@@ -23,6 +23,7 @@ import com.intellij.openapi.vfs.VirtualFile;
 import com.intellij.psi.search.DelegatingGlobalSearchScope;
 import com.intellij.psi.search.GlobalSearchScope;
 import org.jetbrains.annotations.NotNull;
+import org.jetbrains.jet.plugin.JetFileType;
 
 /**
  * @author Nikolay Krasko
@@ -45,6 +46,6 @@ public class JetSourceFilterScope extends DelegatingGlobalSearchScope {
             return myIndex.isInLibraryClasses(file);
         }
 
-        return myIndex.isInSourceContent(file);
+        return file.getFileType().equals(JetFileType.INSTANCE) && (myIndex.isInSourceContent(file) || myIndex.isInLibrarySource(file));
     }
 }