home · contact · privacy
0708135759b6d69b5bcec521d65627ac98972b7c
[plomrogue2-experiments] / new2 / rogue_chat_nocanvas_monochrome.html
1 <!DOCTYPE html>
2 <html><head>
3 <style>
4 </style>
5 </head><body>
6 <div>
7 movement: <select id="WASD_selector" name="WASD_selector" >
8 <option value="w, a, s, d" selected>w, a, s, d</option>
9 <option value="arrow keys">arrow keys</option>
10 </select>
11 rows: <input id="n_rows" type="number" step=2 min=10 value=24 />
12 cols: <input id="n_cols" type="number" step=4 min=20 value=80 />
13 command character: <select id="command_char"" >
14 <option value=":" selected>:</option>
15 <option value="/">/</option>
16 </select>
17 </div>
18 <pre id="terminal" style="display: inline-block;"></pre>
19 <textarea id="input" style="opacity: 0; width: 0px;"></textarea>
20 <script>
21 "use strict";
22 let websocket_location = "ws://localhost:8000";
23
24 let wasd_selector = document.getElementById("WASD_selector");
25 let rows_selector = document.getElementById("n_rows");
26 let cols_selector = document.getElementById("n_cols");
27 let command_char_selector = document.getElementById("command_char");
28
29 let terminal = {
30   foreground: 'white',
31   background: 'black',
32   initialize: function() {
33     this.rows = rows_selector.value;
34     this.cols = cols_selector.value;
35     this.pre_el = document.getElementById("terminal");
36     this.pre_el.style.color = this.foreground;
37     this.pre_el.style.backgroundColor = this.background;
38     this.content = [];
39       let line = []
40     for (let y = 0, x = 0; y <= this.rows; x++) {
41         if (x == this.cols) {
42             x = 0;
43             y += 1;
44             this.content.push(line);
45             line = [];
46             if (y == this.rows) {
47                 break;
48             }
49         }
50         line.push(' ');
51     }
52   },
53   blink_screen: function() {
54       this.pre_el.style.color = this.background;
55       this.pre_el.style.backgroundColor = this.foreground;
56       setTimeout(() => {
57           this.pre_el.style.color = this.foreground;
58           this.pre_el.style.backgroundColor = this.background;
59       }, 100);
60   },
61   refresh: function() {
62       let pre_string = '';
63       for (let y = 0; y < this.rows; y++) {
64           let line = this.content[y].join('');
65           pre_string += line + '\n';
66       }
67       this.pre_el.textContent = pre_string;
68   },
69   write: function(start_y, start_x, msg) {
70       for (let x = start_x, i = 0; x < this.cols && i < msg.length; x++, i++) {
71           this.content[start_y][x] = msg[i];
72       }
73   },
74   drawBox: function(start_y, start_x, height, width) {
75     let end_y = start_y + height;
76     let end_x = start_x + width;
77     for (let y = start_y, x = start_x; y < this.rows; x++) {
78       if (x == end_x) {
79         x = start_x;
80         y += 1;
81         if (y == end_y) {
82             break;
83         }
84       };
85       this.content[y][x] = ' ';
86     }
87   },
88 }
89 terminal.initialize();
90
91 let parser = {
92   tokenize: function(str) {
93     let token_ends = [];
94     let tokens = [];
95     let token = ''
96     let quoted = false;
97     let escaped = false;
98     for (let i = 0; i < str.length; i++) {
99       let c = str[i];
100       if (quoted) {
101         if (escaped) {
102           token += c;
103           escaped = false;
104         } else if (c == '\\') {
105           escaped = true;
106         } else if (c == '"') {
107           quoted = false
108         } else {
109           token += c;
110         }
111       } else if (c == '"') {
112         quoted = true
113       } else if (c === ' ') {
114         if (token.length > 0) {
115           token_ends.push(i);
116           tokens.push(token);
117           token = '';
118         }
119       } else {
120         token += c;
121       }
122     }
123     if (token.length > 0) {
124       tokens.push(token);
125     }
126     let token_starts = [];
127     for (let i = 0; i < token_ends.length; i++) {
128       token_starts.push(token_ends[i] - tokens[i].length);
129     };
130     return [tokens, token_starts];
131   },
132   parse_yx: function(position_string) {
133     let coordinate_strings = position_string.split(',')
134     let position = [0, 0];
135     position[0] = parseInt(coordinate_strings[0].slice(2));
136     position[1] = parseInt(coordinate_strings[1].slice(2));
137     return position;
138   },
139 }
140
141 class Thing {
142     constructor(yx) {
143         this.position = yx;
144     }
145 }
146
147 let server = {
148     init: function(url) {
149         this.url = url;
150         this.websocket = new WebSocket(this.url);
151         this.websocket.onopen = function(event) {
152             window.setInterval(function() { server.send(['PING']) }, 30000);
153             tui.log_msg("@ server connected! :)");
154             tui.init_login();
155         };
156         this.websocket.onclose = function(event) {
157             tui.log_msg("@ server disconnected :(");
158             tui.log_msg("@ hint: try the '" + command_char_selector.value + "reconnect' command");
159         };
160         this.websocket.onmessage = this.handle_event;
161     },
162     reconnect: function() {
163         this.reconnect_to(this.url);
164     },
165     reconnect_to: function(url) {
166         this.websocket.close();
167         this.init(url);
168     },
169     send: function(tokens) {
170         this.websocket.send(unparser.untokenize(tokens));
171     },
172     handle_event: function(event) {
173         let tokens = parser.tokenize(event.data)[0];
174         if (tokens[0] === 'TURN') {
175             game.things = {};
176             game.portals = {};
177             game.turn = parseInt(tokens[1]);
178         } else if (tokens[0] === 'THING_POS') {
179             game.get_thing(tokens[1], true).position = parser.parse_yx(tokens[2]);
180         } else if (tokens[0] === 'THING_NAME') {
181             game.get_thing(tokens[1], true).name_ = tokens[2];
182         } else if (tokens[0] === 'MAP') {
183             game.map_size = parser.parse_yx(tokens[1]);
184             game.map = tokens[2]
185         } else if (tokens[0] === 'GAME_STATE_COMPLETE') {
186             explorer.empty_info_db();
187             if (tui.mode == mode_study) {
188                 explorer.query_info();
189             }
190             let t = game.get_thing(game.player_id);
191             if (t.position in game.portals) {
192                 tui.teleport_target = game.portals[t.position];
193                 tui.switch_mode(mode_teleport);
194                 return;
195             }
196             tui.full_refresh();
197         } else if (tokens[0] === 'CHAT') {
198              tui.log_msg('# ' + tokens[1], 1);
199         } else if (tokens[0] === 'PLAYER_ID') {
200             game.player_id = parseInt(tokens[1]);
201         } else if (tokens[0] === 'LOGIN_OK') {
202             this.send(['GET_GAMESTATE']);
203             tui.log_help();
204             tui.switch_mode(mode_play);
205         } else if (tokens[0] === 'PORTAL') {
206             let position = parser.parse_yx(tokens[1]);
207             game.portals[position] = tokens[2];
208         } else if (tokens[0] === 'ANNOTATION') {
209             let position = parser.parse_yx(tokens[1]);
210             explorer.update_info_db(position, tokens[2]);
211         } else if (tokens[0] === 'UNHANDLED_INPUT') {
212             tui.log_msg('? unknown command');
213         } else if (tokens[0] === 'PLAY_ERROR') {
214             terminal.blink_screen();
215         } else if (tokens[0] === 'ARGUMENT_ERROR') {
216             tui.log_msg('? syntax error: ' + tokens[1]);
217         } else if (tokens[0] === 'GAME_ERROR') {
218             tui.log_msg('? game error: ' + tokens[1]);
219         } else if (tokens[0] === 'PONG') {
220             console.log('PONG');
221         } else {
222             tui.log_msg('? unhandled input: ' + event.data);
223         }
224     }
225 }
226
227 let unparser = {
228     quote: function(str) {
229         let quoted = ['"'];
230         for (let i = 0; i < str.length; i++) {
231             let c = str[i];
232             if (['"', '\\'].includes(c)) {
233                 quoted.push('\\');
234             };
235             quoted.push(c);
236         }
237         quoted.push('"');
238         return quoted.join('');
239     },
240     to_yx: function(yx_coordinate) {
241         return "Y:" + yx_coordinate[0] + ",X:" + yx_coordinate[1];
242     },
243     untokenize: function(tokens) {
244         let quoted_tokens = [];
245         for (let token of tokens) {
246             quoted_tokens.push(this.quote(token));
247         }
248         return quoted_tokens.join(" ");
249     }
250 }
251
252 class Mode {
253     constructor(name, has_input_prompt=false, shows_info=false, is_intro=false) {
254         this.name = name;
255         this.has_input_prompt = has_input_prompt;
256         this.shows_info= shows_info;
257         this.is_intro = is_intro;
258     }
259 }
260 let mode_waiting_for_server = new Mode('waiting_for_server', false, false, true);
261 let mode_login = new Mode('login', true, false, true);
262 let mode_chat = new Mode('chat / write messages to players', true, false);
263 let mode_annotate = new Mode('add message to map tile', true, true);
264 let mode_play = new Mode('play / move around', false, false);
265 let mode_study = new Mode('check map tiles for messages', false, true);
266 let mode_edit = new Mode('write ASCII char to map tile', false, false);
267 let mode_teleport = new Mode('teleport away?');
268 let mode_portal = new Mode('add portal to map tile', true, true);
269
270 let tui = {
271   mode: mode_waiting_for_server,
272   log: [],
273   input_prompt: '> ',
274   input_lines: [],
275   window_width: terminal.cols / 2,
276   height_turn_line: 1,
277   height_mode_line: 1,
278   height_input: 1,
279   init: function() {
280       this.inputEl = document.getElementById("input");
281       this.inputEl.focus();
282       this.recalc_input_lines();
283       this.height_header = this.height_turn_line + this.height_mode_line;
284       this.log_msg("@ waiting for server connection ...");
285       this.init_wasd();
286   },
287   init_wasd: function() {
288     if (wasd_selector.value == 'w, a, s, d') {
289         tui.key_up = 'w';
290         tui.key_down = 's';
291         tui.key_left = 'a';
292         tui.key_right = 'd';
293     } else if (wasd_selector.value == 'arrow keys') {
294         tui.key_up = 'ArrowUp';
295         tui.key_down = 'ArrowDown';
296         tui.key_left = 'ArrowLeft';
297         tui.key_right = 'ArrowRight';
298     };
299     tui.movement_keys_desc = wasd_selector.value;
300   },
301   init_login: function() {
302       this.log_msg("@ please enter your username:");
303       this.switch_mode(mode_login);
304   },
305   switch_mode: function(mode, keep_pos=false) {
306     if (mode == mode_study && !keep_pos) {
307       explorer.position = game.things[game.player_id].position;
308     }
309     this.mode = mode;
310     this.empty_input();
311     if (mode == mode_annotate && explorer.position in explorer.info_db) {
312         let info = explorer.info_db[explorer.position];
313         if (info != "(none)") {
314             this.inputEl.value = info;
315             this.recalc_input_lines();
316         }
317     }
318     if (mode == mode_portal && explorer.position in game.portals) {
319         let portal = game.portals[explorer.position]
320         this.inputEl.value = portal;
321         this.recalc_input_lines();
322     } else if (mode == mode_teleport) {
323         tui.log_msg("@ May teleport to: " + tui.teleport_target);
324         tui.log_msg("@ Type Y or y to affirm, other keys to abort.");
325     }
326     this.full_refresh();
327   },
328   empty_input: function(str) {
329       this.inputEl.value = "";
330       if (this.mode.has_input_prompt) {
331           this.recalc_input_lines();
332       } else {
333           this.height_input = 0;
334       }
335   },
336   recalc_input_lines: function() {
337       this.input_lines = this.msg_into_lines_of_width(this.input_prompt + this.inputEl.value, this.window_width);
338       this.height_input = this.input_lines.length;
339   },
340   msg_into_lines_of_width: function(msg, width) {
341     let chunk = "";
342     let lines = [];
343     for (let i = 0, x = 0; i < msg.length; i++, x++) {
344       if (x >= width || msg[i] == "\n") {
345         lines.push(chunk);
346         chunk = "";
347         x = 0;
348       };
349       if (msg[i] != "\n") {
350         chunk += msg[i];
351       }
352     }
353     lines.push(chunk);
354     return lines;
355   },
356   log_msg: function(msg) {
357       this.log.push(msg);
358       while (this.log.length > 100) {
359         this.log.shift();
360       };
361       this.full_refresh();
362   },
363   log_help: function() {
364     this.log_msg("HELP:");
365     this.log_msg("chat mode commands:");
366     this.log_msg("  " + command_char_selector.value + "nick NAME - re-name yourself to NAME");
367     this.log_msg("  " + command_char_selector.value + "msg USER TEXT - send TEXT to USER");
368     this.log_msg("  " + command_char_selector.value + "help - show this help");
369     this.log_msg("  " + command_char_selector.value + "p or " + command_char_selector.value + "play - switch to play mode");
370     this.log_msg("  " + command_char_selector.value + "? or " + command_char_selector.value + "study - switch to study mode");
371     this.log_msg("commands common to study and play mode:");
372     this.log_msg("  " + this.movement_keys_desc + " - move");
373     this.log_msg("  c - switch to chat mode");
374     this.log_msg("commands specific to play mode:");
375     this.log_msg("  e - write following ASCII character");
376     this.log_msg("  f - flatten surroundings");
377     this.log_msg("  ? - switch to study mode");
378     this.log_msg("commands specific to study mode:");
379     this.log_msg("  e - annotate terrain");
380     this.log_msg("  p - switch to play mode");
381   },
382   draw_map: function() {
383     let map_lines = [];
384     let line = [];
385     for (let i = 0, j = 0; i < game.map.length; i++, j++) {
386         if (j == game.map_size[1]) {
387             map_lines.push(line);
388             line = [];
389             j = 0;
390         };
391         line.push(game.map[i]);
392     };
393     map_lines.push(line);
394     let center_pos = [Math.floor(game.map_size[0] / 2),
395                       Math.floor(game.map_size[1] / 2)];
396     for (const thing_id in game.things) {
397         let t = game.things[thing_id];
398         map_lines[t.position[0]][t.position[1]] = '@';
399         if (game.player_id == thing_id) {
400             center_pos = t.position;
401         }
402     };
403     if (tui.mode.shows_info) {
404         map_lines[explorer.position[0]][explorer.position[1]] = '?';
405         center_pos = explorer.position;
406     }
407     let offset = [(terminal.rows / 2) - center_pos[0],
408                   this.window_width / 2 - center_pos[1]];
409       for (let term_y = offset[0], map_y = 0;
410            term_y < terminal.rows && map_y < game.map_size[0];
411            term_y++, map_y++) {
412         if (term_y >= 0) {
413             let to_draw = map_lines[map_y].join('').slice(0, this.window_width - offset[1]);
414             terminal.write(term_y, offset[1], to_draw);
415         }
416     }
417   },
418   draw_mode_line: function() {
419       terminal.write(0, this.window_width, 'MODE: ' + this.mode.name);
420   },
421   draw_turn_line: function(n) {
422     terminal.write(1, this.window_width, 'TURN: ' + game.turn);
423   },
424   draw_history: function() {
425       let log_display_lines = [];
426       for (let line of this.log) {
427           log_display_lines = log_display_lines.concat(this.msg_into_lines_of_width(line, this.window_width));
428       };
429       for (let y = terminal.rows - 1 - this.height_input,
430                i = log_display_lines.length - 1;
431            y >= this.height_header && i >= 0;
432            y--, i--) {
433           terminal.write(y, this.window_width, log_display_lines[i]);
434       }
435   },
436   draw_info: function() {
437     let lines = this.msg_into_lines_of_width(explorer.get_info(), this.window_width);
438     for (let y = this.height_header, i = 0; y < terminal.rows && i < lines.length; y++, i++) {
439       terminal.write(y, this.window_width, lines[i]);
440     }
441   },
442   draw_input: function() {
443     if (this.mode.has_input_prompt) {
444         for (let y = terminal.rows - this.height_input, i = 0; i < this.input_lines.length; y++, i++) {
445             terminal.write(y, this.window_width, this.input_lines[i]);
446         }
447     }
448   },
449   full_refresh: function() {
450     terminal.drawBox(0, 0, terminal.rows, terminal.cols);
451     if (this.mode.is_intro) {
452         this.draw_history();
453         this.draw_input();
454     } else {
455         this.draw_map();
456         this.draw_turn_line();
457         this.draw_mode_line();
458         if (this.mode.shows_info) {
459           this.draw_info();
460         } else {
461           this.draw_history();
462         }
463         this.draw_input();
464     }
465     terminal.refresh();
466   }
467 }
468
469 let game = {
470     init: function() {
471         this.things = {};
472         this.turn = -1;
473         this.map = "";
474         this.map_size = [0,0];
475         this.player_id = -1;
476         this.portals = {};
477     },
478     get_thing: function(id_, create_if_not_found=false) {
479         if (id_ in game.things) {
480             return game.things[id_];
481         } else if (create_if_not_found) {
482             let t = new Thing([0,0]);
483             game.things[id_] = t;
484             return t;
485         };
486     }
487 }
488
489 game.init();
490 tui.init();
491 tui.full_refresh();
492 server.init(websocket_location);
493
494 let explorer = {
495     position: [0,0],
496     info_db: {},
497     move: function(direction) {
498         let try_pos = [0,0];
499         try_pos[0] = this.position[0];
500         try_pos[1] = this.position[1];
501         if (direction == 'left') {
502             try_pos[1] -= 1;
503         } else if (direction == 'right') {
504             try_pos[1] += 1;
505         } else if (direction == 'up') {
506             try_pos[0] -= 1;
507         } else if (direction == 'down') {
508             try_pos[0] += 1;
509         };
510         if (!(try_pos[0] < 0) &&
511             !(try_pos[1] < 0) &&
512             !(try_pos[0] >= game.map_size[0])
513             && !(try_pos[1] >= game.map_size[1])) {
514             this.position = try_pos;
515             this.query_info();
516             tui.full_refresh();
517         }
518     },
519     update_info_db: function(yx, str) {
520         this.info_db[yx] = str;
521         if (tui.mode == mode_study) {
522             tui.full_refresh();
523         }
524     },
525     empty_info_db: function() {
526         this.info_db = {};
527         if (tui.mode == mode_study) {
528             tui.full_refresh();
529         }
530     },
531     query_info: function() {
532         server.send(["GET_ANNOTATION", unparser.to_yx(explorer.position)]);
533     },
534     get_info: function() {
535         let info = "";
536         let position_i = this.position[0] * game.map_size[1] + this.position[1];
537         info += "TERRAIN: " + game.map[position_i] + "\n";
538         for (let t_id in game.things) {
539              let t = game.things[t_id];
540              if (t.position[0] == this.position[0] && t.position[1] == this.position[1]) {
541                  info += "PLAYER @";
542                  if (t.name_) {
543                      info += ": " + t.name_;
544                  }
545                  info += "\n";
546              }
547         }
548         if (this.position in game.portals) {
549             info += "PORTAL: " + game.portals[this.position] + "\n";
550         }
551         if (this.position in this.info_db) {
552             info += "ANNOTATIONS: " + this.info_db[this.position];
553         } else {
554             info += 'waiting …';
555         }
556         return info;
557     },
558     annotate: function(msg) {
559         if (msg.length == 0) {
560             msg = " ";  // triggers annotation deletion
561         }
562         server.send(["ANNOTATE", unparser.to_yx(explorer.position), msg]);
563     },
564     set_portal: function(msg) {
565         if (msg.length == 0) {
566             msg = " ";  // triggers portal deletion
567         }
568         server.send(["PORTAL", unparser.to_yx(explorer.position), msg]);
569     }
570 }
571
572 tui.inputEl.addEventListener('input', (event) => {
573     if (tui.mode.has_input_prompt) {
574         let max_length = tui.window_width * terminal.rows - tui.input_prompt.length;
575         if (tui.inputEl.value.length > max_length) {
576             tui.inputEl.value = tui.inputEl.value.slice(0, max_length);
577         };
578         tui.recalc_input_lines();
579         tui.full_refresh();
580     } else if (tui.mode == mode_edit && tui.inputEl.value.length > 0) {
581         server.send(["TASK:WRITE", tui.inputEl.value[0]]);
582         tui.switch_mode(mode_play);
583     } else if (tui.mode == mode_teleport) {
584         if (['Y', 'y'].includes(tui.inputEl.value[0])) {
585             server.reconnect_to(tui.teleport_target);
586         } else {
587             tui.log_msg("@ teleportation aborted");
588             tui.switch_mode(mode_play);
589         }
590     }
591 }, false);
592 tui.inputEl.addEventListener('keydown', (event) => {
593     if (event.key == 'Enter') {
594         event.preventDefault();
595     }
596     if (tui.mode == mode_login && event.key == 'Enter') {
597         server.send(['LOGIN', tui.inputEl.value]);
598         tui.switch_mode(mode_login);
599     } else if (tui.mode == mode_portal && event.key == 'Enter') {
600         explorer.set_portal(tui.inputEl.value);
601         tui.switch_mode(mode_study, true);
602     } else if (tui.mode == mode_annotate && event.key == 'Enter') {
603         explorer.annotate(tui.inputEl.value);
604         tui.switch_mode(mode_study, true);
605     } else if (tui.mode == mode_chat && event.key == 'Enter') {
606         let [tokens, token_starts] = parser.tokenize(tui.inputEl.value);
607         if (tokens.length > 0 && tokens[0].length > 0) {
608             if (tokens[0][0] == command_char_selector.value) {
609                 if (tokens[0].slice(1) == 'play' || tokens[0].slice(1) == 'p') {
610                     tui.switch_mode(mode_play);
611                 } else if (tokens[0].slice(1) == 'study' || tokens[0].slice(1) == '?') {
612                     tui.switch_mode(mode_study);
613                 } else if (tokens[0].slice(1) == 'help') {
614                     tui.log_help();
615                 } else if (tokens[0].slice(1) == 'nick') {
616                     if (tokens.length > 1) {
617                         server.send(['LOGIN', tokens[1]]);
618                     } else {
619                         tui.log_msg('? need login name');
620                     }
621                 } else if (tokens[0].slice(1) == 'msg') {
622                     if (tokens.length > 2) {
623                         let msg = tui.inputEl.value.slice(token_starts[2]);
624                         server.send(['QUERY', tokens[1], msg]);
625                     } else {
626                         tui.log_msg('? need message target and message');
627                     }
628                 } else if (tokens[0].slice(1) == 'reconnect') {
629                     if (tokens.length > 1) {
630                         server.reconnect_to(tokens[1]);
631                     } else {
632                         server.reconnect();
633                     }
634                 } else {
635                     tui.log_msg('? unknown command');
636                 }
637             } else {
638                 server.send(['ALL', tui.inputEl.value]);
639             }
640         } else if (tui.inputEl.valuelength > 0) {
641             server.send(['ALL', tui.inputEl.value]);
642         }
643         tui.empty_input();
644         tui.full_refresh();
645       } else if (tui.mode == mode_play) {
646           if (event.key === 'c') {
647               event.preventDefault();
648               tui.switch_mode(mode_chat);
649           } else if (event.key === 'e') {
650               event.preventDefault();
651               tui.switch_mode(mode_edit);
652           } else if (event.key === '?') {
653               tui.switch_mode(mode_study);
654           } else if (event.key === 'F1') {
655               tui.log_help();
656           } else if (event.key === 'f') {
657               server.send(["TASK:FLATTEN_SURROUNDINGS"]);
658           } else if (event.key === tui.key_left) {
659               server.send(['TASK:MOVE', 'LEFT']);
660           } else if (event.key === tui.key_right) {
661               server.send(['TASK:MOVE', 'RIGHT']);
662           } else if (event.key === tui.key_up) {
663               server.send(['TASK:MOVE', 'UP']);
664           } else if (event.key === tui.key_down) {
665               server.send(['TASK:MOVE', 'DOWN']);
666           };
667     } else if (tui.mode == mode_study) {
668         if (event.key === 'c') {
669             event.preventDefault();
670             tui.switch_mode(mode_chat);
671         } else if (event.key == 'p') {
672             tui.switch_mode(mode_play);
673         } else if (event.key === 'P') {
674             event.preventDefault();
675             tui.switch_mode(mode_portal);
676         } else if (event.key === tui.key_left) {
677               explorer.move('left');
678         } else if (event.key === tui.key_right) {
679               explorer.move('right');
680         } else if (event.key === tui.key_up) {
681               explorer.move('up');
682         } else if (event.key === tui.key_down) {
683               explorer.move('down');
684         } else if (event.key === 'e') {
685           event.preventDefault();
686           tui.switch_mode(mode_annotate);
687         };
688     }
689 }, false);
690
691 wasd_selector.addEventListener('input', function() {
692     tui.init_wasd();
693 }, false);
694 rows_selector.addEventListener('input', function() {
695     if (rows_selector.value % 2 != 0) {
696         return;
697     }
698     terminal.initialize();
699     tui.full_refresh();
700 }, false);
701 cols_selector.addEventListener('input', function() {
702     if (cols_selector.value % 4 != 0) {
703         return;
704     }
705     terminal.initialize();
706     tui.window_width = terminal.cols / 2,
707     tui.full_refresh();
708 }, false);
709 window.setInterval(function() {
710     if (!(['input', 'n_cols', 'n_rows', 'WASD_selector', 'command_char'].includes(document.activeElement.id))) {
711         tui.inputEl.focus();
712     }
713 }, 100);
714 </script>
715 </body></html>