public static void appendPHPDoc(StringBuffer hoverInfoBuffer, String filename, PHPIdentifierLocation location) {
FileReader phpFileReader;
hoverInfoBuffer.append(location.toString());
- hoverInfoBuffer.append(" - \n");
+ hoverInfoBuffer.append(" - <b>");
try {
hoverInfoBuffer.append( getUsage(filename, location) );
- hoverInfoBuffer.append('\n');
+ hoverInfoBuffer.append("</b><br>");
// read the phpdoc for the function
if (location.getPHPDocOffset() >= 0) {
phpFileReader.read(phpDocDeclarationCharArray, 0, location.getPHPDocLength());
PHPDocCharArrayCommentReader phpdocConverter = new PHPDocCharArrayCommentReader(phpDocDeclarationCharArray);
hoverInfoBuffer.append(phpdocConverter.getString());
- hoverInfoBuffer.append('\n');
+ hoverInfoBuffer.append("<br><br>");
phpFileReader.close();
}