// Javascript function to launch a new window.
// Written by Richard W.M. Jones <rich@annexia.org>
//
// Note the correct way to use this is as follows:
//
// In the <HEAD> section do this:
//
//     <script language="javascript" src="/static/nav/launch.js"></script>
//
// For the pop-up link do this:
//
//     <a href="popup.html" target="popupname"
//        onclick="launch('popup.html', 'popupname',
//                        600, 400, 'scrollbars=1'); return false;">
//
// If you want the pop-up window to close when the parent window is
// unloaded then do this instead.
//
// In the <HEAD> section:
//
//	<script language="javascript" src="/static/nav/launch.js">
//	    <!--
//	    var popup;
//	    //-->
//	</script>
//
// In the <body> tag:
//
//	<body ... onUnload="if (popup) popup.close ();">
//
// And in the link:
//
//	<a href="popup.html" target="popupname"
//	    onclick="popup = launch('popup.html', 'popupname',
//                        600, 400, 'scrollbars=1'); return false;">
//
// Pop-up windows should display comfortably on an 800x600 screen. This
// limits the maximum size to around 750x500 (of course you should make
// them smaller if at all possible).

/*function launch (url, name, width, height, features)
    {
    var all_features = "width=" + width + ",height=" + height;
    if (features != "") { all_features = all_features + "," + features }
    return open (url, name, all_features);
    }*/

function launch (url, name, width, height, features)
{
	return window.open(url, name, "width=" + width + ",height=" + height + "," + features);
}
