Merge branch 'master' of github.com:JetBrains/kotlin

This commit is contained in:
James Strachan
2012-05-18 19:50:45 +01:00
2 changed files with 8 additions and 1 deletions
+3 -1
View File
@@ -4,6 +4,8 @@
<root url="jar://$PROJECT_DIR$/ideaSDK/plugins/junit/lib/idea-junit.jar!/" />
</CLASSES>
<JAVADOC />
<SOURCES />
<SOURCES>
<root url="jar://$PROJECT_DIR$/ideaSDK/sources/sources.zip!/plugins/junit/src" />
</SOURCES>
</library>
</component>
@@ -102,6 +102,11 @@ class ClsWrapperStubPsiFactory extends StubPsiFactory {
if (origin == null) return delegate.createMethod(stub);
return new ClsMethodImpl(stub) {
@Override
public PsiElement getMirror() {
return origin;
}
@NotNull
@Override
public PsiElement getNavigationElement() {