hedgewars-draft: comparison misc/graves_js

equal deleted inserted replaced

-:f81fe8250ed9
+:20adaa127663
 width: 32px;
 }
 </style>
 <script type="application/ecmascript">
 //<![CDATA[
-var IS_LOCAL=false; // set to true to fetch graves locally. Useful for testing.
+let IS_LOCAL=false; // set to true to fetch flags locally. Useful for testing.
-var graves;
+let graves;
 if (IS_LOCAL) {
 /* JavaScript version of a sprite sheet - this could be pretty trivially done in pure HTML, but maintenance
 would be easier with a server-side portion. list of sprites could be gotten from server, but would require XSS whitelisting */
 // Last updated: 1.0.0
 graves=["Badger","Bone","bp2","bubble","Cherry","chest","Clover","coffin",
 else
 {
 graves = [];
 }
-var themes = {
+let themes = {
 // Last updated: 1.0.0
 "Art":1,
 "Beach":1,
 "Bamboo":1,
 "Bath":1,
 "Planes":0,
 "Sheep":1,
 "Snow":1,
 "Stage":1,
 "Underwater":1};
-var girder;
+let girder;
-var animationInterval;
+let animationInterval;
 on_xml_loaded = function(ex)
 {
-var resp = this.responseText;
+let resp = this.responseText;
-var r = />([^<]*).png</g;
+let r = />([^<]*).png</g;
-var x;
+let x;
 while(x = r.exec(resp))
 {
 graves.push(x[1]);
 }
 on_graves_loaded();
 }
 on_xml_error = function()
 {
-var p = document.createElement("p");
+let p = document.createElement("p");
 p.appendChild(document.createTextNode("ERROR: List of graves could not be fetched from the server!"));
 document.body.appendChild(p);
 }
 window.onload = function()
 {
 // Load list of graves
 if (!IS_LOCAL) {
 // Request list of graves from repository URL
-var xml=new XMLHttpRequest();
+let xml=new XMLHttpRequest();
 xml.open("GET", "//hg.hedgewars.org/hedgewars/file/tip/share/hedgewars/Data/Graphics/Graves/");
 xml.addEventListener("error", on_xml_error);
 xml.onload = on_xml_loaded;
 xml.send();
 }
 }
 on_graves_loaded = function()
 {
 // Render girders
-var s = document.styleSheets[0].cssRules;
+let s = document.styleSheets[0].cssRules;
-for(var i=0;i<s.length;i++)
+for(let i=0;i<s.length;i++)
 {
 if (s[i].selectorText.toLowerCase() === ".girder")
 girder = s[i];
 }
-var a = document.createElement("a");
+let a = document.createElement("a");
-var g = document.createElement("div");
+let g = document.createElement("div");
 g.className="girder";
 a.className="grave";
 a.appendChild(document.createElement("div"));
 a.lastChild.appendChild(document.createTextNode(""));
 // Render graves
-var missingGraves = [];
+let missingGraves = [];
-var img;
+let img;
-var j = 0;
+let j = 0;
-var toDelete = [];
+let toDelete = [];
-for (var i=0;i<graves.length;i++)
+for (let i=0;i<graves.length;i++)
 {
-var h = document.body.appendChild(a.cloneNode(true));
+let h = document.body.appendChild(a.cloneNode(true));
 if (IS_LOCAL)
 h.href = "../share/hedgewars/Data/Graphics/Graves/"+graves[i]+".png";
 else
 h.href = "//hg.hedgewars.org/hedgewars/raw-file/tip/share/hedgewars/Data/Graphics/Graves/"+graves[i]+".png";
 // Quick and dirty animation
 animationInterval = setInterval(animateGraves, 128);
 // Theme selection drop-down list
-var form = document.body.appendChild(document.createElement("form"));
+let form = document.body.appendChild(document.createElement("form"));
-var opt = document.createElement("option");
+let opt = document.createElement("option");
 opt.appendChild(document.createTextNode(""));
-var label = document.createElement("label");
+let label = document.createElement("label");
 label.htmlFor = "theme_select";
 label.appendChild(document.createTextNode("Theme: "));
 form.appendChild(label);
-var sel = form.appendChild(document.createElement("select"));
+let sel = form.appendChild(document.createElement("select"));
 sel.id = "theme_select";
 sel.onchange = switchTheme;
-for(var theme in themes)
+for(let theme in themes)
 {
 sel.appendChild(opt.cloneNode(true));
 sel.lastChild.value = theme;
 sel.lastChild.lastChild.data = theme;
 if(theme === "Nature")
 sel.lastChild.selected = true;
 }
 form.appendChild(document.createElement("br"));
 // Checkbox: Switch animation
-var chk = document.createElement("input");
+let chk = document.createElement("input");
 chk.id = "anim";
 chk.type = "checkbox";
 chk.onclick = switchAnim;
 chk.checked = true;
 form.appendChild(chk);
 switchTheme();
 }
 function animateGraves()
 {
-var a = document.getElementsByTagName("a");
+let a = document.getElementsByTagName("a");
-for (var i=0;i<a.length;i++)
+for (let i=0;i<a.length;i++)
 {
 if (a[i].className !== "grave")
 continue;
 // Cycle thru animation frames
-var maskName = a[i].title;
+let maskName = a[i].title;
 // Grave
 a[i].firstChild.style.backgroundPosition=Math.floor(a[i].idle/16)*-32+"px "+(a[i].idle%16)*-32+"px";
 // Next frame
 a[i].idle++;
 }
 // Turn on or off girders
 function hideGirders()
 {
-var g = document.getElementsByClassName("girder");
+let g = document.getElementsByClassName("girder");
-for(var i=0;i<g.length;i++)
+for(let i=0;i<g.length;i++)
 if (this.checked)
 g[i].className = "girder";
 else
 g[i].className = "girder hide";
 }
 // Select theme according to drop-down list value
 function switchTheme()
 {
-var prefix;
+let prefix;
 if (!IS_LOCAL)
 prefix = "//hg.hedgewars.org/hedgewars/raw-file/tip";
 else
 prefix = "..";
-var theme = this.value || "Nature";
+let theme = this.value || "Nature";
 document.body.style.backgroundImage='url("'+prefix+'/share/hedgewars/Data/Themes/'+theme+'/Sky.png")';
 if (themes[theme])
 girder.style.backgroundImage='url("'+prefix+'/share/hedgewars/Data/Themes/'+theme+'/Girder.png")';
 else
 girder.style.backgroundImage='url("'+prefix+'/share/hedgewars/Data/Graphics/Girder.png")';

changeset 16007	20adaa127663
parent 16006	f81fe8250ed9