From e28ee1b29dd04be806064ef84db6680f47e194c8 Mon Sep 17 00:00:00 2001
From: peter <peter@jetbrains.com>
Date: Thu, 10 Jul 2014 17:40:07 +0200
Subject: [PATCH] display inferred annotations in italic

---
 .../intellij/codeInsight/javadoc/JavaDocInfoGenerator.java   | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/java/java-psi-impl/src/com/intellij/codeInsight/javadoc/JavaDocInfoGenerator.java b/java/java-psi-impl/src/com/intellij/codeInsight/javadoc/JavaDocInfoGenerator.java
index dddb5a7fe976..0cf24692661d 100644
--- a/java/java-psi-impl/src/com/intellij/codeInsight/javadoc/JavaDocInfoGenerator.java
+++ b/java/java-psi-impl/src/com/intellij/codeInsight/javadoc/JavaDocInfoGenerator.java
@@ -720,9 +720,11 @@ public class JavaDocInfoGenerator {
       final PsiJavaCodeReferenceElement nameReferenceElement = annotation.getNameReferenceElement();
       if (nameReferenceElement == null) continue;
       final PsiElement resolved = nameReferenceElement.resolve();
+      boolean inferred = InferredAnnotationsManager.getInstance(annotation.getProject()).isInferredAnnotation(annotation);
       if (resolved instanceof PsiClass) {
         final PsiClass annotationType = (PsiClass)resolved;
         if (AnnotationUtil.isAnnotated(annotationType, "java.lang.annotation.Documented", false)) {
+          if (inferred) buffer.append("<i>");
           final PsiClassType type = JavaPsiFacade.getInstance(manager.getProject()).getElementFactory().createType(annotationType, PsiSubstitutor.EMPTY);
           buffer.append("@");
           generateType(buffer, type, owner, generateLink);
@@ -745,11 +747,14 @@ public class JavaDocInfoGenerator {
             }
             buffer.append(")");
           }
+          if (inferred) buffer.append("</i>");
           buffer.append("&nbsp;");
         }
       } else if (external) {
+        if (inferred) buffer.append("<i>");
         buffer.append(annotation.getText());
         buffer.append("&nbsp;");
+        if (inferred) buffer.append("</i>");
       }
       else {
         buffer.append("<font color=red>");