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