From ab8bdf673dcce2a11651db0ae73ff3027e042b24 Mon Sep 17 00:00:00 2001
From: Evgeny Gerashchenko <Evgeny.Gerashchenko@jetbrains.com>
Date: Fri, 11 Jan 2013 18:09:40 +0400
Subject: [PATCH] Better label in Kotlin references tooltip.

 #KT-2601 fixed
---
 .../org/jetbrains/jet/plugin/JetQuickDocumentationProvider.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/idea/src/org/jetbrains/jet/plugin/JetQuickDocumentationProvider.java b/idea/src/org/jetbrains/jet/plugin/JetQuickDocumentationProvider.java
index 764ad7d2c10..1b81dbc93a0 100644
--- a/idea/src/org/jetbrains/jet/plugin/JetQuickDocumentationProvider.java
+++ b/idea/src/org/jetbrains/jet/plugin/JetQuickDocumentationProvider.java
@@ -82,7 +82,7 @@ public class JetQuickDocumentationProvider extends AbstractDocumentationProvider
         else if (mergeKotlinAndJava) {
             final String originalInfo = new JavaDocumentationProvider().getQuickNavigateInfo(element, originalElement);
             if (originalInfo != null) {
-                return renderedDecl + "\nOriginal: " + originalInfo;
+                return renderedDecl + "\nJava declaration:\n" + originalInfo;
             }
             return renderedDecl;
         }