ErrorManager.getDefault().log(ErrorManager.WARNING,
"Show Source: Have no line for URL = " + url + ", line number = " + lineNumber);
return false;
}
if ("true".equalsIgnoreCase(fronting) || Utilities.isWindows()) {
l.show(Line.SHOW_TOFRONT, column); //FIX 47825
} else {
l.show(Line.SHOW_GOTO, column);
}
addPositionToJumpList(url, l, column);
return true;