// 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/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')">

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