mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
one line less & use preprocessed <p> instead of generic <br>
This commit is contained in:
+2
-3
@@ -1215,11 +1215,10 @@ public class DocumentationManager extends DockablePopupManager<DocumentationComp
|
||||
String text =
|
||||
(withUrl ? file.getPresentableUrl() : "") +
|
||||
"\n" +
|
||||
"\nFile size is " + StringUtil.formatFileSize(attr.size()) +
|
||||
"\n" + typeName + (type.isBinary() ? "" : " (" + psiFile.getLanguage().getDisplayName() + ")") +
|
||||
"\n" + StringUtil.formatFileSize(attr.size()) + ", " + typeName + (type.isBinary() ? "" : " (" + psiFile.getLanguage().getDisplayName() + ")") +
|
||||
"\nModified on " + DateFormatUtil.formatDateTime(attr.lastModifiedTime().toMillis()) +
|
||||
"\nCreated on " + DateFormatUtil.formatDateTime(attr.creationTime().toMillis()) +
|
||||
"\n";
|
||||
return StringUtil.replace(StringUtil.escapeXml(text) + " ", "\n", "<br>");
|
||||
return StringUtil.replace(StringUtil.escapeXml(text) + " ", "\n", "<p>");
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user