From 1992d384e3682315b13b814f3c1a500c343d4c14 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <abreslav@abreslav-mac.labs.intellij.net>
Date: Fri, 6 May 2011 20:23:00 +0400
Subject: [PATCH] Text displayed in hovers is a even nicer now :)

---
 .../jet/lang/annotations/JetLineMarkerProvider.java   | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/idea/src/org/jetbrains/jet/lang/annotations/JetLineMarkerProvider.java b/idea/src/org/jetbrains/jet/lang/annotations/JetLineMarkerProvider.java
index 53d0aca7aaf..a94bb52b90e 100644
--- a/idea/src/org/jetbrains/jet/lang/annotations/JetLineMarkerProvider.java
+++ b/idea/src/org/jetbrains/jet/lang/annotations/JetLineMarkerProvider.java
@@ -27,6 +27,7 @@ import org.jetbrains.jet.resolve.DescriptorUtil;
 import javax.swing.*;
 import java.awt.event.MouseEvent;
 import java.util.Collection;
+import java.util.Iterator;
 import java.util.List;
 import java.util.Set;
 
@@ -53,7 +54,15 @@ public class JetLineMarkerProvider implements LineMarkerProvider {
                         new Function<JetFunction, String>() {
                             @Override
                             public String fun(JetFunction jetFunction) {
-                                return overriddenFunctions.toString();
+                                StringBuilder builder = new StringBuilder();
+                                for (Iterator<? extends FunctionDescriptor> iterator = overriddenFunctions.iterator(); iterator.hasNext(); ) {
+                                    FunctionDescriptor overriddenFunction = iterator.next();
+                                    builder.append(DescriptorUtil.renderPresentableText(overriddenFunction).replace("<", "&lt;"));
+                                    if (iterator.hasNext()) {
+                                        builder.append("<br/>");
+                                    }
+                                }
+                                return builder.toString();
                             }
                         },
                         new GutterIconNavigationHandler<JetFunction>() {