From 3bcf1dfc230c8a3f9bbdfec5f70bb3447bc7bef9 Mon Sep 17 00:00:00 2001 From: Jeff Parsons Date: Wed, 17 Feb 2016 13:58:42 -0800 Subject: [PATCH] Copyright symbol work-around --- docs/pcjs/demos/pc-dbg.js | 6 ++-- docs/pcjs/demos/pc.js | 6 ++-- modules/shared/lib/save.js | 5 +-- modules/shared/lib/strlib.js | 10 +++--- modules/shared/lib/usrlib.js | 10 +++--- versions/c1pjs/1.20.9/c1p.js | 58 +++++++++++++++++----------------- versions/pcjs/1.20.9/pc-dbg.js | 6 ++-- versions/pcjs/1.20.9/pc.js | 6 ++-- 8 files changed, 54 insertions(+), 53 deletions(-) diff --git a/docs/pcjs/demos/pc-dbg.js b/docs/pcjs/demos/pc-dbg.js index d3045dfd0..f19fa8dc2 100644 --- a/docs/pcjs/demos/pc-dbg.js +++ b/docs/pcjs/demos/pc-dbg.js @@ -1231,6 +1231,6 @@ function Mr(a,b,c,d){function e(a){if(void 0===k){var b=g&&rb(g,"machine-warning (c="/versions/pcjs/1.20.9/components.xsl");r=function(d,k){k?Ar(c,null,null,!1,e,function(d,q){if(q)if(jb(a,c,d),e("Processing "+b+"..."),window.ActiveXObject||"ActiveXObject"in window){var r=k.transformNode(q);r?(g.outerHTML=r,--zr||Wa(!0)):f("transformNodeToObject failed")}else document.implementation&&document.implementation.createDocument?(r=new XSLTProcessor,r.importStylesheet(q),(r=r.transformToFragment(k,document))?g.parentNode?(g.parentNode.replaceChild(r,g),--zr||Wa(!0)):f("invalid machine element: "+ a):f("transformToFragment failed")):f("unable to transform XML: unsupported browser");else f(d)}):f(d)};"<"!=b.charAt(0)?Ar(b,a,d,!0,e,r):Br(b,null,a,d,!1,e,r)}else f("missing machine element: "+a)}catch(y){f(y.message)}return q}window.embedPC=function(a,b,c,d){Wa(!1);return Mr(a,b,c,d)};window.enableEvents=Wa;window.sendEvent=Xa; function Nr(a,b,c,d){if(!c&&b){d.push(b);a=ib[d[0]];b=null;for(var e in a)if(la(e,"components.xsl")){b=e.replace(".xsl",".css");break}b?za(b,!0,null,null,Or,d):Or(0,null,0,d)}else Ca("Error ("+c+") requesting "+a)} -function Or(a,b,c,d){var e,f,g;a=d[0];c=d[1];e=d[4];e=e.match(/^(\s*\(function\(\)\{)([\s\S]*)(}\)\(\);\s*)$/);var k=ib[a],q={},r;for(r in k){var x=k[r],z=ka(r);if("xml"==z){for(z=/[ \t]*]*path=(['"])(.*?)\1.*?<\/disk>\n?/g;f=z.exec(k[r]);){var y=f[2];y&&(k[y]||(x=x.replace(f[0],"")))}f=r=ja(r)}else"xsl"==z&&(g=r=ja(r));q[r]=x}b&&(q[r="css"]=b);d[2]&&(q[r="parms"]=d[2]);d[3]&&(q[r="state"]=d[3]);f&&g?(b=JSON.stringify(q),e=e[1]+"var resources="+b+";"+e[2]+e[3],b="data:application/javascript,"+ -(Ka("Firefox")?encodeURIComponent(e):encodeURI(e)),d=document.createElement("a"),"string"==typeof d.download&&2E6>e.length?(d.href=b,d.download=c+".json",document.body.appendChild(d),d.click(),document.body.removeChild(d)):window.open(b),b='Check your Downloads folder for "'+c+'.json", '+('copy it to your web server as "'+c+'.js", and then add the following to your web page:\n\n'),b+='
\n',b+="...\n",b+='