MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-87740 Property key quick definition tooltip: escape XML

Browse Source
This commit is contained in:
peter
2012-07-03 12:52:32 +02:00
parent def118140e
commit 08bd059657
1 changed files with 18 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/properties/src/com/intellij/lang/properties/PropertiesDocumentationProvider.java
+18 -11
View File
@@ -27,6 +27,7 @@ import com.intellij.psi.PsiElement;
import com.intellij.psi.PsiFile;
import com.intellij.ui.GuiUtils;
import org.jetbrains.annotations.NonNls;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
import java.awt.*;
@@ -35,16 +36,25 @@ public class PropertiesDocumentationProvider extends AbstractDocumentationProvid
@Nullable
public String getQuickNavigateInfo(PsiElement element, PsiElement originalElement) {
if (element instanceof IProperty) {
@NonNls String info = "\n\"" + ((IProperty)element).getValue() + "\"";
PsiFile file = element.getContainingFile();
if (file != null) {
info += " [" + file.getName() + "]";
}
return info;
return "\"" + renderPropertyValue((IProperty)element) + "\"" + getLocationString(element);
}
return null;
}
private static String getLocationString(PsiElement element) {
PsiFile file = element.getContainingFile();
return file != null ? " [" + file.getName() + "]" : "";
}
@NotNull
private static String renderPropertyValue(IProperty prop) {
String raw = prop.getValue();
if (raw == null) {
return "<i>empty</i>";
}
return StringUtil.escapeXml(raw);
}
public String generateDoc(final PsiElement element, final PsiElement originalElement) {
if (element instanceof IProperty) {
IProperty property = (IProperty)element;
@@ -63,11 +73,8 @@ public class PropertiesDocumentationProvider extends AbstractDocumentationProvid
info += "</div>";
}
}
info += "\n<b>" + property.getName() + "</b>=\"" + ((IProperty)element).getValue() + "\"";
PsiFile file = element.getContainingFile();
if (file != null) {
info += " [" + file.getName() + "]";
}
info += "\n<b>" + property.getName() + "</b>=\"" + renderPropertyValue(((IProperty)element)) + "\"";
info += getLocationString(element);
return info;
}
return null;