From dbdf3c0e9870bbd684bd3ba8dd8e8685a46689b0 Mon Sep 17 00:00:00 2001
From: "Pavel V. Talanov" <talanov.pavel@gmail.com>
Date: Tue, 9 Dec 2014 13:48:21 +0300
Subject: [PATCH] Update JetQuickDocumentationProvider

---
 .../jetbrains/jet/plugin/JetQuickDocumentationProvider.java   | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/idea/src/org/jetbrains/jet/plugin/JetQuickDocumentationProvider.java b/idea/src/org/jetbrains/jet/plugin/JetQuickDocumentationProvider.java
index 3d044b7e33e..8aafd2c5488 100644
--- a/idea/src/org/jetbrains/jet/plugin/JetQuickDocumentationProvider.java
+++ b/idea/src/org/jetbrains/jet/plugin/JetQuickDocumentationProvider.java
@@ -92,6 +92,10 @@ public class JetQuickDocumentationProvider extends AbstractDocumentationProvider
             renderedDecl = "<pre>" + DescriptorRenderer.HTML_NAMES_WITH_SHORT_TYPES.render(declarationDescriptor) + "</pre>";
         }
 
+        PsiElement navigationElement = declaration.getNavigationElement();
+        if (navigationElement instanceof JetDeclaration) {
+            declaration = (JetDeclaration) navigationElement;
+        }
         KDoc comment = declaration.getDocComment();
         if (comment != null) {
             renderedDecl = renderedDecl + "<br/>" + kDocToHtml(comment);