MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-07-29 02:25:59 +07:00
Code Issues Packages Projects Releases Wiki Activity

escape jdk/lib names in quick documentation

Browse Source
This commit is contained in:
anna
2012-07-25 18:57:01 +02:00
parent f1d7383838
commit 460a02bfb6
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-impl/src/com/intellij/lang/java/JavaDocumentationProvider.java
+1 -1
View File
@@ -157,7 +157,7 @@ public class JavaDocumentationProvider implements CodeDocumentationProvider, Ext
final List<OrderEntry> orderEntries = fileIndex.getOrderEntriesForFile(vFile);
if (orderEntries.size() > 0) {
final OrderEntry orderEntry = orderEntries.get(0);
buffer.append("[").append(orderEntry.getPresentableName()).append("] ");
buffer.append("[").append(StringUtil.escapeXml(orderEntry.getPresentableName())).append("] ");
}
}
else {