| 263 | |
| 264 | onLoad() { |
| 265 | function loadHandler(evt) { |
| 266 | let f = evt.target.files[0]; |
| 267 | if (f) { |
| 268 | let reader = new FileReader(); |
| 269 | reader.onload = function(event) { |
| 270 | main.setFile(JSON.parse(event.target.result)); |
| 271 | }; |
| 272 | reader.onerror = function(event) { |
| 273 | console.error( |
| 274 | "File could not be read! Code " + event.target.error.code); |
| 275 | }; |
| 276 | reader.readAsText(f); |
| 277 | } else { |
| 278 | main.setFile(null); |
| 279 | } |
| 280 | } |
| 281 | $("fileinput").addEventListener( |
| 282 | "change", loadHandler, false); |
| 283 | createViews(); |