This Bugzilla instance is a read-only archive of historic NetBeans bug reports. To report a bug in NetBeans please follow the project's instructions for reporting issues.
if (sourceInfo != null && sourceInfo.isSourceKnown()) {
String fname = new File(sourceInfo.getFileName()).getName();
int line = sourceInfo.getLine();
long offset = sourceInfo.getOffset();
if (line > 0) {
if (line > 0 || offset >= 0) {
result.append("<font color='#000000'>").append(dispName).append("</font>"); // NOI18N
} else {
result.append("<font color='#808080'>").append(dispName).append("</font>"); // NOI18N