/**
 * User: florent
 * Date: 28.10.2010
 * Time: 12:04:07
 */

/**
 * Open the url in a new window. This way we do not need to write a target=_blank.
 *
 * @param url
 * @return nothing
 */
function openInNewWindow(url) {
	// Change "_blank" to something like "newWindow" to load all links in the same new window
    var newWindow = window.open(url, '_blank');
    newWindow.focus();
}