- if (!Info.j2sAppletID) {
- Info.j2sAppletID = Info.idPrefix.replace(/%ID%/g, "jalview" + Jalview.jvid++);
-}
-
-
-Info.jalview_SCREEN_X= 10,Info.jalview_SCREEN_Y= 10;
-Info.jalview_EMBEDDED= true;
-Info.jalview_SCREEN_WIDTH = 400;
-Info.jalview_SCREEN_HEIGHT = 100;
+ Info.j2sAppletID = Info.j2sAppletID
+ || element.getAttribute("name")
+ || element.getAttribute("id")
+ || Info.idPrefix.replace(/%ID%/g, "jalview" + ++Jalview.jvid);
+
+//Info.jalview_SCREEN_X= 10,Info.jalview_SCREEN_Y= 10;
+//Info.jalview_EMBEDDED= true;
+//Info.jalview_SCREEN_WIDTH = 400;
+//Info.jalview_SCREEN_HEIGHT = 100;