-
- /**
- * set space-delimited query parameters as arguments to Jalview main
- *
- * @j2sNative
- *
- * var hr = decodeURI(document.location.href); var pos =
- * hr.indexOf("?"); if (pos > 0) { thisApplet.__Info.args =
- * hr.substring(pos+1).split(" "); }
- */