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