equal
deleted
inserted
replaced
120 var boardDom = document.getElementById("board"); |
120 var boardDom = document.getElementById("board"); |
121 var ui = {}; |
121 var ui = {}; |
122 ui.board = {}; |
122 ui.board = {}; |
123 /* 'val' typesafe. */ |
123 /* 'val' typesafe. */ |
124 ui.board.set = function(i, j, val) { |
124 ui.board.set = function(i, j, val) { |
125 if (typeof val !== number) |
125 if (typeof val !== 'number') |
126 val = 0; |
126 val = 0; |
127 var dom = boardDom.querySelectorAll("tr")[i].querySelectorAll("td")[j]; |
127 var dom = boardDom.querySelectorAll("tr")[i].querySelectorAll("td")[j]; |
128 if (0 < val && val < 15) { |
128 if (0 < val && val < 15) { |
129 dom.innerHTML = val; |
129 dom.innerHTML = val; |
130 var rgb = 'rgb(255,'+ (255-5*val-2*(val%2)) +','+ (255-10*val-5*((val-1)%2)) +')'; |
130 var rgb = 'rgb(255,'+ (255-5*val-2*(val%2)) +','+ (255-10*val-5*((val-1)%2)) +')'; |