OSDN Git Service

[fix] : Use var insead of const let
authorhayao <hayao@fascode.net>
Sat, 7 Aug 2021 02:58:45 +0000 (11:58 +0900)
committerhayao <hayao@fascode.net>
Sat, 7 Aug 2021 02:58:45 +0000 (11:58 +0900)
sanmoku/script/define.js

index 46ca6e0..7d17c99 100644 (file)
@@ -1,57 +1,57 @@
 // 横のマス目の数\r
-let TableXNumber = 3;\r
+var TableXNumber = 3;\r
 \r
 // 縦のマス目の数\r
-let TableYNumber = 3;\r
+var TableYNumber = 3;\r
 \r
 // マス目の初期値\r
-const InitialStr = " ";\r
+var InitialStr = " ";\r
 \r
 // プレイヤーの記号\r
-const PlayerMarks = ["◯", "✗" , "△"];\r
+var PlayerMarks = ["◯", "✗" , "△"];\r
 \r
 // プレイヤーの人数(現在 2のみ指定可能)\r
-let PlayerNumer = 2;\r
+var PlayerNumer = 2;\r
 \r
 // 現在のプレイヤー\r
-let CurrentPlayer = 0;\r
+var CurrentPlayer = 0;\r
 \r
 //// 以下プログラム用の変数定義につき変更禁止\r
 \r
 \r
 // Main\r
-const Main = document.getElementById("main");\r
+var Main = document.getElementById("main");\r
 \r
 // HTML\r
-const HTML = document.getElementsByName("html")[0];\r
+var HTML = document.getElementsByName("html")[0];\r
 \r
 // メインテーブル\r
-const MainTable = document.getElementById("maintable")\r
+var MainTable = document.getElementById("maintable")\r
 \r
 // メッセージを表示する場所\r
-const Msg = document.getElementById("msg");\r
+var Msg = document.getElementById("msg");\r
 \r
 // 現在の設定を表示する場所\r
-const CurrentConfig = document.getElementById("currentconfig")\r
+var CurrentConfig = document.getElementById("currentconfig")\r
 \r
 // リセットボタン\r
-const ResetButton = document.getElementById("reset");\r
+var ResetButton = document.getElementById("reset");\r
 \r
 // 適用ボタン\r
-const ApplyButton = document.getElementById("apply");\r
+var ApplyButton = document.getElementById("apply");\r
 \r
 // 設定フォーム: 縦のマス目\r
-const InputTableX = document.getElementById("inputtablex")\r
+var InputTableX = document.getElementById("inputtablex")\r
 \r
 // 設定フォーム: 横のマス目\r
-const InputTableY = document.getElementById("inputtabley")\r
+var InputTableY = document.getElementById("inputtabley")\r
 \r
 // 設定フォーム: プレーヤーの人数\r
-const InputPlayerNumber = document.getElementById("inputplayernumber")\r
+var InputPlayerNumber = document.getElementById("inputplayernumber")\r
 \r
 // チェック済みのボックスの数\r
-let CheckedBox = 0;\r
+var CheckedBox = 0;\r
 \r
 // ゲームが終了してるかどうか\r
 // これがtrueの場合はクリックしてもマークをつけない\r
-let GameEnded = false;\r
+var GameEnded = false;\r