+<!DOCTYPE html>
+<html><head>
+<style>
+</style>
+</head><body>
+<div>
+terminal rows: <input id="n_rows" type="number" step=4 min=8 value=24 />
+terminal columns: <input id="n_cols" type="number" step=4 min=20 value=80 />
+</div>
+<pre id="terminal" style="display: inline-block;"></pre>
+<textarea id="input" style="opacity: 0; width: 0px;"></textarea>
+<div>
+keys (see <a href="https://developer.mozilla.org/en-US/docs/Web/API/KeyboardEvent/key/Key_Values">here</a> for non-obvious available values):<br />
+move up (square grid): <input id="key_square_move_up" type="text" value="w" /> (hint: ArrowUp)<br />
+move left (square grid): <input id="key_square_move_left" type="text" value="a" /> (hint: ArrowLeft)<br />
+move down (square grid): <input id="key_square_move_down" type="text" value="s" /> (hint: ArrowDown)<br />
+move right (square grid): <input id="key_square_move_right" type="text" value="d" /> (hint: ArrowRight)<br />
+move up-left (hex grid): <input id="key_hex_move_upleft" type="text" value="w" /><br />
+move up-right (hex grid): <input id="key_hex_move_upright" type="text" value="e" /><br />
+move right (hex grid): <input id="key_hex_move_right" type="text" value="d" /><br />
+move down-right (hex grid): <input id="key_hex_move_downright" type="text" value="x" /><br />
+move down-left (hex grid): <input id="key_hex_move_downleft" type="text" value="y" /><br />
+move left (hex grid): <input id="key_hex_move_left" type="text" value="a" /><br />
+flatten surroundings: <input id="key_flatten" type="text" value="F" /><br />
+switch to chat mode: <input id="key_switch_to_chat" type="text" value="t" /><br />
+switch to play mode: <input id="key_switch_to_play" type="text" value="p" /><br />
+switch to study mode: <input id="key_switch_to_study" type="text" value="?" /><br />
+edit terrain (from play mode): <input id="key_switch_to_edit" type="text" value="m" /><br />
+annotate terrain (from study mode): <input id="key_switch_to_annotate" type="text" value="m" /><br />
+annotate portal (from study mode): <input id="key_switch_to_portal" type="text" value="P" /><br />
+</div>
+<script>
+"use strict";
+let websocket_location = "ws://localhost:8000";
+
+let rows_selector = document.getElementById("n_rows");
+let cols_selector = document.getElementById("n_cols");
+let key_selectors = document.querySelectorAll('[id^="key_"]');
+
+function restore_selector_value(selector) {
+ let stored_selection = window.localStorage.getItem(selector.id);
+ if (stored_selection) {
+ selector.value = stored_selection;
+ }
+}
+restore_selector_value(rows_selector);
+restore_selector_value(cols_selector);
+for (let key_selector of key_selectors) {
+ restore_selector_value(key_selector);
+}
+
+let terminal = {
+ foreground: 'white',
+ background: 'black',
+ initialize: function() {
+ this.rows = rows_selector.value;
+ this.cols = cols_selector.value;
+ this.pre_el = document.getElementById("terminal");
+ this.pre_el.style.color = this.foreground;
+ this.pre_el.style.backgroundColor = this.background;
+ this.content = [];
+ let line = []
+ for (let y = 0, x = 0; y <= this.rows; x++) {
+ if (x == this.cols) {
+ x = 0;
+ y += 1;
+ this.content.push(line);
+ line = [];
+ if (y == this.rows) {
+ break;
+ }
+ }
+ line.push(' ');
+ }
+ },
+ blink_screen: function() {
+ this.pre_el.style.color = this.background;
+ this.pre_el.style.backgroundColor = this.foreground;
+ setTimeout(() => {
+ this.pre_el.style.color = this.foreground;
+ this.pre_el.style.backgroundColor = this.background;
+ }, 100);
+ },
+ refresh: function() {
+ let pre_string = '';
+ for (let y = 0; y < this.rows; y++) {
+ let line = this.content[y].join('');
+ pre_string += line + '\n';
+ }
+ this.pre_el.textContent = pre_string;
+ },
+ write: function(start_y, start_x, msg) {
+ for (let x = start_x, i = 0; x < this.cols && i < msg.length; x++, i++) {
+ this.content[start_y][x] = msg[i];
+ }
+ },
+ drawBox: function(start_y, start_x, height, width) {
+ let end_y = start_y + height;
+ let end_x = start_x + width;
+ for (let y = start_y, x = start_x; y < this.rows; x++) {
+ if (x == end_x) {
+ x = start_x;
+ y += 1;
+ if (y == end_y) {
+ break;
+ }
+ };
+ this.content[y][x] = ' ';
+ }
+ },
+}
+terminal.initialize();
+
+let parser = {
+ tokenize: function(str) {
+ let token_ends = [];
+ let tokens = [];
+ let token = ''
+ let quoted = false;
+ let escaped = false;
+ for (let i = 0; i < str.length; i++) {
+ let c = str[i];
+ if (quoted) {
+ if (escaped) {
+ token += c;
+ escaped = false;
+ } else if (c == '\\') {
+ escaped = true;
+ } else if (c == '"') {
+ quoted = false
+ } else {
+ token += c;
+ }
+ } else if (c == '"') {
+ quoted = true
+ } else if (c === ' ') {
+ if (token.length > 0) {
+ token_ends.push(i);
+ tokens.push(token);
+ token = '';
+ }
+ } else {
+ token += c;
+ }
+ }
+ if (token.length > 0) {
+ tokens.push(token);
+ }
+ let token_starts = [];
+ for (let i = 0; i < token_ends.length; i++) {
+ token_starts.push(token_ends[i] - tokens[i].length);
+ };
+ return [tokens, token_starts];
+ },
+ parse_yx: function(position_string) {
+ let coordinate_strings = position_string.split(',')
+ let position = [0, 0];
+ position[0] = parseInt(coordinate_strings[0].slice(2));
+ position[1] = parseInt(coordinate_strings[1].slice(2));
+ return position;
+ },
+}
+
+class Thing {
+ constructor(yx) {
+ this.position = yx;
+ }
+}
+
+let server = {
+ init: function(url) {
+ this.url = url;
+ this.websocket = new WebSocket(this.url);
+ this.websocket.onopen = function(event) {
+ window.setInterval(function() { server.send(['PING']) }, 30000);
+ tui.log_msg("@ server connected! :)");
+ tui.switch_mode(mode_login);
+ };
+ this.websocket.onclose = function(event) {
+ tui.log_msg("@ server disconnected :(");
+ tui.log_msg("@ hint: try the '/reconnect' command");
+ };
+ this.websocket.onmessage = this.handle_event;
+ },
+ reconnect: function() {
+ this.reconnect_to(this.url);
+ },
+ reconnect_to: function(url) {
+ this.websocket.close();
+ this.init(url);
+ },
+ send: function(tokens) {
+ this.websocket.send(unparser.untokenize(tokens));
+ },
+ handle_event: function(event) {
+ let tokens = parser.tokenize(event.data)[0];
+ if (tokens[0] === 'TURN') {
+ game.turn_complete = false;
+ game.things = {};
+ game.portals = {};
+ game.turn = parseInt(tokens[1]);
+ } else if (tokens[0] === 'THING_POS') {
+ game.get_thing(tokens[1], true).position = parser.parse_yx(tokens[2]);
+ } else if (tokens[0] === 'THING_NAME') {
+ game.get_thing(tokens[1], true).name_ = tokens[2];
+ } else if (tokens[0] === 'MAP') {
+ game.map_geometry = tokens[1];
+ tui.init_keys();
+ game.map_size = parser.parse_yx(tokens[2]);
+ game.map = tokens[3]
+ } else if (tokens[0] === 'GAME_STATE_COMPLETE') {
+ game.turn_complete = true;
+ explorer.empty_info_db();
+ if (tui.mode == mode_post_login_wait) {
+ tui.switch_mode(mode_play);
+ tui.log_help();
+ } else if (tui.mode == mode_study) {
+ explorer.query_info();
+ }
+ let t = game.get_thing(game.player_id);
+ if (t.position in game.portals) {
+ tui.teleport_target = game.portals[t.position];
+ tui.switch_mode(mode_teleport);
+ return;
+ }
+ tui.full_refresh();
+ } else if (tokens[0] === 'CHAT') {
+ tui.log_msg('# ' + tokens[1], 1);
+ } else if (tokens[0] === 'PLAYER_ID') {
+ game.player_id = parseInt(tokens[1]);
+ } else if (tokens[0] === 'LOGIN_OK') {
+ this.send(['GET_GAMESTATE']);
+ tui.switch_mode(mode_post_login_wait);
+ } else if (tokens[0] === 'PORTAL') {
+ let position = parser.parse_yx(tokens[1]);
+ game.portals[position] = tokens[2];
+ } else if (tokens[0] === 'ANNOTATION') {
+ let position = parser.parse_yx(tokens[1]);
+ explorer.update_info_db(position, tokens[2]);
+ } else if (tokens[0] === 'UNHANDLED_INPUT') {
+ tui.log_msg('? unknown command');
+ } else if (tokens[0] === 'PLAY_ERROR') {
+ terminal.blink_screen();
+ } else if (tokens[0] === 'ARGUMENT_ERROR') {
+ tui.log_msg('? syntax error: ' + tokens[1]);
+ } else if (tokens[0] === 'GAME_ERROR') {
+ tui.log_msg('? game error: ' + tokens[1]);
+ } else if (tokens[0] === 'PONG') {
+ console.log('PONG');
+ } else {
+ tui.log_msg('? unhandled input: ' + event.data);
+ }
+ }
+}
+
+let unparser = {
+ quote: function(str) {
+ let quoted = ['"'];
+ for (let i = 0; i < str.length; i++) {
+ let c = str[i];
+ if (['"', '\\'].includes(c)) {
+ quoted.push('\\');
+ };
+ quoted.push(c);
+ }
+ quoted.push('"');
+ return quoted.join('');
+ },
+ to_yx: function(yx_coordinate) {
+ return "Y:" + yx_coordinate[0] + ",X:" + yx_coordinate[1];
+ },
+ untokenize: function(tokens) {
+ let quoted_tokens = [];
+ for (let token of tokens) {
+ quoted_tokens.push(this.quote(token));
+ }
+ return quoted_tokens.join(" ");
+ }
+}
+
+class Mode {
+ constructor(name, has_input_prompt=false, shows_info=false, is_intro=false) {
+ this.name = name;
+ this.has_input_prompt = has_input_prompt;
+ this.shows_info= shows_info;
+ this.is_intro = is_intro;
+ }
+}
+let mode_waiting_for_server = new Mode('waiting_for_server', false, false, true);
+let mode_login = new Mode('login', true, false, true);
+let mode_post_login_wait = new Mode('waiting for game world', false, false, true);
+let mode_chat = new Mode('chat / write messages to players', true, false);
+let mode_annotate = new Mode('add message to map tile', true, true);
+let mode_play = new Mode('play / move around', false, false);
+let mode_study = new Mode('check map tiles for messages', false, true);
+let mode_edit = new Mode('write ASCII char to map tile', false, false);
+let mode_teleport = new Mode('teleport away?', true);
+let mode_portal = new Mode('add portal to map tile', true, true);
+
+let tui = {
+ mode: mode_waiting_for_server,
+ log: [],
+ input_prompt: '> ',
+ input_lines: [],
+ window_width: terminal.cols / 2,
+ height_turn_line: 1,
+ height_mode_line: 1,
+ height_input: 1,
+ init: function() {
+ this.inputEl = document.getElementById("input");
+ this.inputEl.focus();
+ this.recalc_input_lines();
+ this.height_header = this.height_turn_line + this.height_mode_line;
+ this.log_msg("@ waiting for server connection ...");
+ this.init_keys();
+ },
+ init_keys: function() {
+ this.keys = {};
+ for (let key_selector of key_selectors) {
+ this.keys[key_selector.id.slice(4)] = key_selector.value;
+ }
+ if (game.map_geometry == 'Square') {
+ this.movement_keys = {
+ [this.keys.square_move_up]: 'UP',
+ [this.keys.square_move_left]: 'LEFT',
+ [this.keys.square_move_down]: 'DOWN',
+ [this.keys.square_move_right]: 'RIGHT'
+ };
+ } else if (game.map_geometry == 'Hex') {
+ this.movement_keys = {
+ [this.keys.hex_move_upleft]: 'UPLEFT',
+ [this.keys.hex_move_upright]: 'UPRIGHT',
+ [this.keys.hex_move_right]: 'RIGHT',
+ [this.keys.hex_move_downright]: 'DOWNRIGHT',
+ [this.keys.hex_move_downleft]: 'DOWNLEFT',
+ [this.keys.hex_move_left]: 'LEFT'
+ };
+ };
+ },
+ switch_mode: function(mode, keep_pos=false) {
+ if (mode == mode_study && !keep_pos && game.player_id in game.things) {
+ explorer.position = game.things[game.player_id].position;
+ }
+ this.mode = mode;
+ this.empty_input();
+ if (mode == mode_annotate && explorer.position in explorer.info_db) {
+ let info = explorer.info_db[explorer.position];
+ if (info != "(none)") {
+ this.inputEl.value = info;
+ this.recalc_input_lines();
+ }
+ }
+ if (mode == mode_login) {
+ if (this.login_name) {
+ server.send(['LOGIN', this.login_name]);
+ } else {
+ this.log_msg("? need login name");
+ }
+ } else if (mode == mode_portal && explorer.position in game.portals) {
+ let portal = game.portals[explorer.position]
+ this.inputEl.value = portal;
+ this.recalc_input_lines();
+ } else if (mode == mode_teleport) {
+ tui.log_msg("@ May teleport to: " + tui.teleport_target);
+ tui.log_msg("@ Enter 'YES!' to entusiastically affirm.");
+ }
+ this.full_refresh();
+ },
+ empty_input: function(str) {
+ this.inputEl.value = "";
+ if (this.mode.has_input_prompt) {
+ this.recalc_input_lines();
+ } else {
+ this.height_input = 0;
+ }
+ },
+ recalc_input_lines: function() {
+ this.input_lines = this.msg_into_lines_of_width(this.input_prompt + this.inputEl.value, this.window_width);
+ this.height_input = this.input_lines.length;
+ },
+ msg_into_lines_of_width: function(msg, width) {
+ let chunk = "";
+ let lines = [];
+ for (let i = 0, x = 0; i < msg.length; i++, x++) {
+ if (x >= width || msg[i] == "\n") {
+ lines.push(chunk);
+ chunk = "";
+ x = 0;
+ };
+ if (msg[i] != "\n") {
+ chunk += msg[i];
+ }
+ }
+ lines.push(chunk);
+ return lines;
+ },
+ log_msg: function(msg) {
+ this.log.push(msg);
+ while (this.log.length > 100) {
+ this.log.shift();
+ };
+ this.full_refresh();
+ },
+ log_help: function() {
+ let movement_keys_desc = Object.keys(this.movement_keys).join(',');
+ this.log_msg("HELP:");
+ this.log_msg("chat mode commands:");
+ this.log_msg(" /nick NAME - re-name yourself to NAME");
+ this.log_msg(" /msg USER TEXT - send TEXT to USER");
+ this.log_msg(" /help - show this help");
+ this.log_msg(" /" + this.keys.switch_to_play + " or /play - switch to play mode");
+ this.log_msg(" /" + this.keys.switch_to_study + " or /study - switch to study mode");
+ this.log_msg("commands common to study and play mode:");
+ this.log_msg(" " + movement_keys_desc + " - move");
+ this.log_msg(" " + this.keys.switch_to_chat + " - switch to chat mode");
+ this.log_msg("commands specific to play mode:");
+ this.log_msg(" " + this.keys.switch_to_edit + " - write following ASCII character");
+ this.log_msg(" " + this.keys.flatten + " - flatten surroundings");
+ this.log_msg(" " + this.keys.switch_to_study + " - switch to study mode");
+ this.log_msg("commands specific to study mode:");
+ this.log_msg(" " + this.keys.switch_to_annotate + " - annotate terrain");
+ this.log_msg(" " + this.keys.switch_to_play + " - switch to play mode");
+ },
+ draw_map: function() {
+ let map_lines_split = [];
+ let line = [];
+ for (let i = 0, j = 0; i < game.map.length; i++, j++) {
+ if (j == game.map_size[1]) {
+ map_lines_split.push(line);
+ line = [];
+ j = 0;
+ };
+ line.push(game.map[i]);
+ };
+ map_lines_split.push(line);
+ for (const thing_id in game.things) {
+ let t = game.things[thing_id];
+ map_lines_split[t.position[0]][t.position[1]] = '@';
+ };
+ if (tui.mode.shows_info) {
+ map_lines_split[explorer.position[0]][explorer.position[1]] = '?';
+ }
+ let map_lines = []
+ if (game.map_geometry == 'Square') {
+ for (let line_split of map_lines_split) {
+ map_lines.push(line_split.join(' '));
+ };
+ } else if (game.map_geometry == 'Hex') {
+ let indent = 0
+ for (let line_split of map_lines_split) {
+ map_lines.push(' '.repeat(indent) + line_split.join(' '));
+ if (indent == 0) {
+ indent = 1;
+ } else {
+ indent = 0;
+ };
+ };
+ }
+ let window_center = [terminal.rows / 2, this.window_width / 2];
+ let player = game.things[game.player_id];
+ let center_position = [player.position[0], player.position[1]];
+ if (tui.mode.shows_info) {
+ center_position = [explorer.position[0], explorer.position[1]];
+ }
+ center_position[1] = center_position[1] * 2;
+ let offset = [center_position[0] - window_center[0],
+ center_position[1] - window_center[1]]
+ if (game.map_geometry == 'Hex' && offset[0] % 2) {
+ offset[1] += 1;
+ };
+ let term_y = Math.max(0, -offset[0]);
+ let term_x = Math.max(0, -offset[1]);
+ let map_y = Math.max(0, offset[0]);
+ let map_x = Math.max(0, offset[1]);
+ for (; term_y < terminal.rows && map_y < game.map_size[0]; term_y++, map_y++) {
+ let to_draw = map_lines[map_y].slice(map_x, this.window_width + offset[1]);
+ terminal.write(term_y, term_x, to_draw);
+ }
+ },
+ draw_mode_line: function() {
+ terminal.write(0, this.window_width, 'MODE: ' + this.mode.name);
+ },
+ draw_turn_line: function(n) {
+ terminal.write(1, this.window_width, 'TURN: ' + game.turn);
+ },
+ draw_history: function() {
+ let log_display_lines = [];
+ for (let line of this.log) {
+ log_display_lines = log_display_lines.concat(this.msg_into_lines_of_width(line, this.window_width));
+ };
+ for (let y = terminal.rows - 1 - this.height_input,
+ i = log_display_lines.length - 1;
+ y >= this.height_header && i >= 0;
+ y--, i--) {
+ terminal.write(y, this.window_width, log_display_lines[i]);
+ }
+ },
+ draw_info: function() {
+ let lines = this.msg_into_lines_of_width(explorer.get_info(), this.window_width);
+ for (let y = this.height_header, i = 0; y < terminal.rows && i < lines.length; y++, i++) {
+ terminal.write(y, this.window_width, lines[i]);
+ }
+ },
+ draw_input: function() {
+ if (this.mode.has_input_prompt) {
+ for (let y = terminal.rows - this.height_input, i = 0; i < this.input_lines.length; y++, i++) {
+ terminal.write(y, this.window_width, this.input_lines[i]);
+ }
+ }
+ },
+ full_refresh: function() {
+ terminal.drawBox(0, 0, terminal.rows, terminal.cols);
+ if (this.mode.is_intro) {
+ this.draw_history();
+ this.draw_input();
+ } else {
+ if (game.turn_complete) {
+ this.draw_map();
+ this.draw_turn_line();
+ }
+ this.draw_mode_line();
+ if (this.mode.shows_info) {
+ this.draw_info();
+ } else {
+ this.draw_history();
+ }
+ this.draw_input();
+ }
+ terminal.refresh();
+ }
+}
+
+let game = {
+ init: function() {
+ this.things = {};
+ this.turn = -1;
+ this.map = "";
+ this.map_size = [0,0];
+ this.player_id = -1;
+ this.portals = {};
+ },
+ get_thing: function(id_, create_if_not_found=false) {
+ if (id_ in game.things) {
+ return game.things[id_];
+ } else if (create_if_not_found) {
+ let t = new Thing([0,0]);
+ game.things[id_] = t;
+ return t;
+ };
+ },
+ move: function(start_position, direction) {
+ let target = [start_position[0], start_position[1]];
+ if (direction == 'LEFT') {
+ target[1] -= 1;
+ } else if (direction == 'RIGHT') {
+ target[1] += 1;
+ } else if (game.map_geometry == 'Square') {
+ if (direction == 'UP') {
+ target[0] -= 1;
+ } else if (direction == 'DOWN') {
+ target[0] += 1;
+ };
+ } else if (game.map_geometry == 'Hex') {
+ let start_indented = start_position[0] % 2;
+ if (direction == 'UPLEFT') {
+ target[0] -= 1;
+ if (!start_indented) {
+ target[1] -= 1;
+ }
+ } else if (direction == 'UPRIGHT') {
+ target[0] -= 1;
+ if (start_indented) {
+ target[1] += 1;
+ }
+ } else if (direction == 'DOWNLEFT') {
+ target[0] += 1;
+ if (!start_indented) {
+ target[1] -= 1;
+ }
+ } else if (direction == 'DOWNRIGHT') {
+ target[0] += 1;
+ if (start_indented) {
+ target[1] += 1;
+ }
+ };
+ };
+ if (target[0] < 0 || target[1] < 0 ||
+ target[0] >= this.map_size[0] || target[1] >= this.map_size[1]) {
+ return null;
+ };
+ return target;
+ }
+}
+
+game.init();
+tui.init();
+tui.full_refresh();
+server.init(websocket_location);
+
+let explorer = {
+ position: [0,0],
+ info_db: {},
+ move: function(direction) {
+ let target = game.move(this.position, direction);
+ if (target) {
+ this.position = target
+ this.query_info();
+ tui.full_refresh();
+ } else {
+ terminal.blink_screen();
+ };
+ },
+ update_info_db: function(yx, str) {
+ this.info_db[yx] = str;
+ if (tui.mode == mode_study) {
+ tui.full_refresh();
+ }
+ },
+ empty_info_db: function() {
+ this.info_db = {};
+ if (tui.mode == mode_study) {
+ tui.full_refresh();
+ }
+ },
+ query_info: function() {
+ server.send(["GET_ANNOTATION", unparser.to_yx(explorer.position)]);
+ },
+ get_info: function() {
+ let info = "";
+ let position_i = this.position[0] * game.map_size[1] + this.position[1];
+ info += "TERRAIN: " + game.map[position_i] + "\n";
+ for (let t_id in game.things) {
+ let t = game.things[t_id];
+ if (t.position[0] == this.position[0] && t.position[1] == this.position[1]) {
+ info += "PLAYER @";
+ if (t.name_) {
+ info += ": " + t.name_;
+ }
+ info += "\n";
+ }
+ }
+ if (this.position in game.portals) {
+ info += "PORTAL: " + game.portals[this.position] + "\n";
+ }
+ if (this.position in this.info_db) {
+ info += "ANNOTATIONS: " + this.info_db[this.position];
+ } else {
+ info += 'waiting …';
+ }
+ return info;
+ },
+ annotate: function(msg) {
+ if (msg.length == 0) {
+ msg = " "; // triggers annotation deletion
+ }
+ server.send(["ANNOTATE", unparser.to_yx(explorer.position), msg]);
+ },
+ set_portal: function(msg) {
+ if (msg.length == 0) {
+ msg = " "; // triggers portal deletion
+ }
+ server.send(["PORTAL", unparser.to_yx(explorer.position), msg]);
+ }
+}
+
+tui.inputEl.addEventListener('input', (event) => {
+ if (tui.mode.has_input_prompt) {
+ let max_length = tui.window_width * terminal.rows - tui.input_prompt.length;
+ if (tui.inputEl.value.length > max_length) {
+ tui.inputEl.value = tui.inputEl.value.slice(0, max_length);
+ };
+ tui.recalc_input_lines();
+ tui.full_refresh();
+ } else if (tui.mode == mode_edit && tui.inputEl.value.length > 0) {
+ server.send(["TASK:WRITE", tui.inputEl.value[0]]);
+ tui.switch_mode(mode_play);
+ } else if (tui.mode == mode_teleport) {
+ if (['Y', 'y'].includes(tui.inputEl.value[0])) {
+ server.reconnect_to(tui.teleport_target);
+ } else {
+ tui.log_msg("@ teleportation aborted");
+ tui.switch_mode(mode_play);
+ }
+ }
+}, false);
+tui.inputEl.addEventListener('keydown', (event) => {
+ if (event.key == 'Enter') {
+ event.preventDefault();
+ }
+ if (tui.mode == mode_login && event.key == 'Enter') {
+ tui.login_name = tui.inputEl.value;
+ server.send(['LOGIN', tui.inputEl.value]);
+ tui.empty_input();
+ } else if (tui.mode == mode_portal && event.key == 'Enter') {
+ explorer.set_portal(tui.inputEl.value);
+ tui.switch_mode(mode_study, true);
+ } else if (tui.mode == mode_annotate && event.key == 'Enter') {
+ explorer.annotate(tui.inputEl.value);
+ tui.switch_mode(mode_study, true);
+ } else if (tui.mode == mode_teleport && event.key == 'Enter') {
+ if (tui.inputEl.value == 'YES!') {
+ server.reconnect_to(tui.teleport_target);
+ } else {
+ tui.log_msg('@ teleport aborted');
+ tui.switch_mode(mode_play);
+ };
+ } else if (tui.mode == mode_chat && event.key == 'Enter') {
+ let [tokens, token_starts] = parser.tokenize(tui.inputEl.value);
+ if (tokens.length > 0 && tokens[0].length > 0) {
+ if (tui.inputEl.value[0][0] == '/') {
+ if (tokens[0].slice(1) == 'play' || tokens[0][1] == tui.keys.switch_to_play) {
+ tui.switch_mode(mode_play);
+ } else if (tokens[0].slice(1) == 'study' || tokens[0][1] == tui.keys.switch_to_study) {
+ tui.switch_mode(mode_study);
+ } else if (tokens[0].slice(1) == 'help') {
+ tui.log_help();
+ } else if (tokens[0].slice(1) == 'nick') {
+ if (tokens.length > 1) {
+ server.send(['LOGIN', tokens[1]]);
+ } else {
+ tui.log_msg('? need login name');
+ }
+ } else if (tokens[0].slice(1) == 'msg') {
+ if (tokens.length > 2) {
+ let msg = tui.inputEl.value.slice(token_starts[2]);
+ server.send(['QUERY', tokens[1], msg]);
+ } else {
+ tui.log_msg('? need message target and message');
+ }
+ } else if (tokens[0].slice(1) == 'reconnect') {
+ if (tokens.length > 1) {
+ server.reconnect_to(tokens[1]);
+ } else {
+ server.reconnect();
+ }
+ } else {
+ tui.log_msg('? unknown command');
+ }
+ } else {
+ server.send(['ALL', tui.inputEl.value]);
+ }
+ } else if (tui.inputEl.valuelength > 0) {
+ server.send(['ALL', tui.inputEl.value]);
+ }
+ tui.empty_input();
+ tui.full_refresh();
+ } else if (tui.mode == mode_play) {
+ if (event.key === tui.keys.switch_to_chat) {
+ event.preventDefault();
+ tui.switch_mode(mode_chat);
+ } else if (event.key === tui.keys.switch_to_edit) {
+ event.preventDefault();
+ tui.switch_mode(mode_edit);
+ } else if (event.key === tui.keys.switch_to_study) {
+ tui.switch_mode(mode_study);
+ } else if (event.key === tui.keys.flatten) {
+ server.send(["TASK:FLATTEN_SURROUNDINGS"]);
+ } else if (event.key in tui.movement_keys) {
+ server.send(['TASK:MOVE', tui.movement_keys[event.key]]);
+ };
+ } else if (tui.mode == mode_study) {
+ if (event.key === tui.keys.switch_to_chat) {
+ event.preventDefault();
+ tui.switch_mode(mode_chat);
+ } else if (event.key == tui.keys.switch_to_play) {
+ tui.switch_mode(mode_play);
+ } else if (event.key === tui.keys.switch_to_portal) {
+ event.preventDefault();
+ tui.switch_mode(mode_portal);
+ } else if (event.key in tui.movement_keys) {
+ explorer.move(tui.movement_keys[event.key]);
+ } else if (event.key === tui.keys.switch_to_annotate) {
+ event.preventDefault();
+ tui.switch_mode(mode_annotate);
+ };
+ }
+}, false);
+
+rows_selector.addEventListener('input', function() {
+ if (rows_selector.value % 4 != 0) {
+ return;
+ }
+ window.localStorage.setItem(rows_selector.id, rows_selector.value);
+ terminal.initialize();
+ tui.full_refresh();
+}, false);
+cols_selector.addEventListener('input', function() {
+ if (cols_selector.value % 4 != 0) {
+ return;
+ }
+ window.localStorage.setItem(cols_selector.id, cols_selector.value);
+ terminal.initialize();
+ tui.window_width = terminal.cols / 2,
+ tui.full_refresh();
+}, false);
+for (let key_selector of key_selectors) {
+ key_selector.addEventListener('input', function() {
+ window.localStorage.setItem(key_selector.id, key_selector.value);
+ tui.init_keys();
+ }, false);
+}
+window.setInterval(function() {
+ if (!(['input', 'n_cols', 'n_rows'].includes(document.activeElement.id)
+ || document.activeElement.id.startsWith('key_'))) {
+ tui.inputEl.focus();
+ }
+}, 100);
+</script>
+</body></html>