equal
deleted
inserted
replaced
78 <div> |
78 <div> |
79 <button id="left">left</button> |
79 <button id="left">left</button> |
80 <button id="up">up</button> |
80 <button id="up">up</button> |
81 <button id="down">down</button> |
81 <button id="down">down</button> |
82 <button id="right">right</button> |
82 <button id="right">right</button> |
|
83 <button id="test">test</button> |
83 </div> |
84 </div> |
84 <h1>AI</h1> |
85 <h1>AI</h1> |
85 <div> |
86 <div> |
86 <button id="ai-random">random</button> |
87 <button id="ai-random">random</button> |
87 <button id="ai-next-max-score">next max score</button> |
88 <button id="ai-next-max-score">next max score</button> |
202 case 40: down(); break; |
203 case 40: down(); break; |
203 case 37: left(); break; |
204 case 37: left(); break; |
204 case 39: right(); break; |
205 case 39: right(); break; |
205 } |
206 } |
206 return false; |
207 return false; |
|
208 }); |
|
209 |
|
210 document.getElementById("test").addEventListener("click", function() { |
|
211 console.log("x1: %o", ui.brdEngine); |
|
212 board.move.replaceByBoardJS(ui.brdEngine); |
207 }); |
213 }); |
208 |
214 |
209 ui.message = {}; |
215 ui.message = {}; |
210 var messageDom = document.getElementById("message-area"); |
216 var messageDom = document.getElementById("message-area"); |
211 ui.message.clear = function() { |
217 ui.message.clear = function() { |