Permalink
Browse files

newlines

  • Loading branch information...
1 parent 6e85e90 commit 9d58380fcda29cc8a08d4df62b281f87b1dbf6ad @JPMoresmau committed Aug 3, 2012
@@ -110,20 +110,21 @@ public static String computeProblemInfo( final ITextViewer textViewer, final IRe
if (p.overlapsWith( hoverRegion.getOffset(), hoverRegion.getLength() )) {
// add a nice icon
String img="";
+ String txt=a.getText();
+
+ txt=txt.replace( PlatformUtil.NL, "<br/>" );
+ txt=txt.replace( "\n", "<br/>" );
+ txt=txt.replace( "\r", "<br/>" );
+ txt=txt.replace( " ", "&nbsp;" );
try {
URL url =FileLocator.toFileURL( HaskellUIPlugin.getDefault().getBundle().getResource(
fMarkerAnnotationAccess.isSubtype( type, ERROR_ANNOTATION_TYPE )?"icons/obj16/error_obj.gif":"icons/obj16/warning_obj.gif"));
- img="<img src=\"" + url.toString()+"\" style=\"vertical-align:-4\"/>";
+ img="<img src=\"" + url.toString()+"\" style=\"vertical-align=-4;\"/>";
} catch( IOException ioe){
HaskellUIPlugin.log( ioe );
}
- String txt=a.getText();
- txt=txt.replace( PlatformUtil.NL, "<br/>" );
- txt=txt.replace( "\n", "<br/>" );
- txt=txt.replace( "\r", "<br/>" );
- txt=txt.replace( " ", "&nbsp;" );
- return "<div style='font-family: verdana; padding:2px'>"+img+
+ return "<div style=\"font-family: verdana;padding:2px\">"+img+
txt +
"</div>";
}

0 comments on commit 9d58380

Please sign in to comment.