* @param url a url of source to be shown
* @param lineNumber a number of line to be shown
* @param timeStamp a time stamp to be used
*/
public boolean showSource(String url, int lineNumber, int column, int length, Object timeStamp) {
Line l = LineTranslations.getTranslations().getLine(url, lineNumber, timeStamp); // false = use original ln
if (l == null) {
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;
}