*/
/**
+ * set space-delimited query parameters as arguments to Jalview main
+ *
* @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(" "); }
+ * hr.indexOf("?"); if (pos > 0) { thisApplet.__Info.args =
+ * hr.substring(pos+1).split(" "); }
*/
}