summaryrefslogtreecommitdiff
path: root/mines/index.html
diff options
context:
space:
mode:
Diffstat (limited to 'mines/index.html')
-rw-r--r--mines/index.html64
1 files changed, 0 insertions, 64 deletions
diff --git a/mines/index.html b/mines/index.html
deleted file mode 100644
index 5b27806..0000000
--- a/mines/index.html
+++ /dev/null
@@ -1,64 +0,0 @@
-<!Doctype HTML>
-<html>
- <head>
- <meta charset="utf-8">
-
- <link href="https://fonts.googleapis.com/css?family=Open+Sans" rel="stylesheet">
- <link rel="stylesheet" type="text/css" href="./mines.css"/>
-
- <script src="./mines.js"></script>
- </head>
- <body>
- <div class="selector">
- <label>Width: </label> <input id="x" min="4" max="50" value="6" type="number"/>
- <br>
- <label>Height: </label> <input id="y" min="4" value="6" type="number"/>
- <br>
- <label>Mines: </label> <input id="m" min="2" value="5" type="number"/>
- <br>
- <label>- OR -</label>
- <br>
- <label>Difficulty: </label>
- <select id="d">
- <option value="0.125">Easy</option>
- <option value="0.15">Medium</option>
- <option value="0.2">Hard</option>
- <option value="0.25">Impossible</option>
- <option value="0">Custom</option>
- </select>
- <br>
- <label>- OR -</label>
- <br>
- <button id="save" onclick="game.save()">Save Game</button> | <label for="fin">Choose Save File</label><input id="fin" type="file" accept=".mgs"/> <button id="load" onclick="game.loadFromFile()">Load Game</button>
- </div>
- <br>
- <div class="game">
- <h1 id="mines">0</h1><button id="circle" onclick="game.reset()"></button><h1 id="time">0</h1>
- <br>
- <table>
- <tbody id="gtable"><tr><td class="wt">&#9673;</td></tr></tbody>
- </table>
- </div>
- <script>
- var xIn = document.getElementById("x");
- var yIn = document.getElementById("y");
- var mIn = document.getElementById("m");
- var dIn = document.getElementById("d");
-
- var sMines = document.getElementById("mines");
- var sTime = document.getElementById("time");
-
- var circle = document.getElementById("circle");
-
- var table = document.getElementById("gtable");
-
- var fileSel = document.getElementById("fin");
-
- var game = new Board();
-
- mIn.addEventListener("change", function(){
- if(dIn.value !== "0") dIn.value = "0";
- });
- </script>
- </body>
-</html> \ No newline at end of file