X-Git-Url: https://plomlompom.com/repos/berlin_corona.txt?a=blobdiff_plain;f=rogue_chat_nocanvas_monochrome.html;h=66cb79584160760e95a2c4158503fbb53df8abc8;hb=0a25fa6dadb1560ed64c22fe12a6c3d8de567b84;hp=ab3ce34b1a65df612a176204f24f0dc09823f1fa;hpb=540aec0e9bf55d0452cffda4b34e1995d3724abf;p=plomrogue2

diff --git a/rogue_chat_nocanvas_monochrome.html b/rogue_chat_nocanvas_monochrome.html
index ab3ce34..66cb795 100644
--- a/rogue_chat_nocanvas_monochrome.html
+++ b/rogue_chat_nocanvas_monochrome.html
@@ -21,17 +21,20 @@ move right (hex grid): <input id="key_hex_move_right" type="text" value="d" /><b
 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 />
+help: <input id="key_help" type="text" value="h" /><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 />
+edit tile (from play mode): <input id="key_switch_to_edit" type="text" value="m" /><br />
+enter tile password (from play mode): <input id="key_switch_to_password" type="text" value="P" /><br />
+annotate tile (from play mode): <input id="key_switch_to_annotate" type="text" value="M" /><br />
+annotate portal (from play mode): <input id="key_switch_to_portal" type="text" value="T" /><br />
+toggle terrain/control view (from study mode): <input id="key_toggle_map_mode" type="text" value="M" /><br />
 </div>
 <script>
 "use strict";
-let websocket_location = "ws://localhost:8000";
+let websocket_location = "wss://plomlompom.com/rogue_chat/";
 
 let rows_selector = document.getElementById("n_rows");
 let cols_selector = document.getElementById("n_cols");
@@ -172,19 +175,18 @@ let server = {
         this.url = url;
         this.websocket = new WebSocket(this.url);
         this.websocket.onopen = function(event) {
-            window.setInterval(function() { server.send(['PING']) }, 30000);
+            server.connected = true;
+            server.send(['TASKS']);
             tui.log_msg("@ server connected! :)");
             tui.switch_mode(mode_login);
         };
         this.websocket.onclose = function(event) {
+            server.connected = false;
+            tui.switch_mode(mode_waiting_for_server);
             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);
@@ -203,17 +205,22 @@ let server = {
             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] === 'TASKS') {
+            game.tasks = tokens[1].split(',')
         } 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] === 'FOV') {
+            game.fov = tokens[1]
+        } else if (tokens[0] === 'MAP_CONTROL') {
+            game.map_control = tokens[1]
         } 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();
             }
@@ -246,7 +253,7 @@ let server = {
         } 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);
         }
@@ -279,23 +286,25 @@ let unparser = {
 }
 
 class Mode {
-    constructor(name, has_input_prompt=false, shows_info=false, is_intro=false) {
+    constructor(name, help_intro, 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;
+        this.help_intro = help_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 mode_waiting_for_server = new Mode('waiting_for_server', 'Waiting for a server response.', false, false, true);
+let mode_login = new Mode('login', 'Pick your player name.', true, false, true);
+let mode_post_login_wait = new Mode('waiting for game world', 'Waiting for a server response.', false, false, true);
+let mode_chat = new Mode('chat', 'This mode allows you to engage in chit-chat with other users.  Any line you enter into the input prompt that does not start with a "/" will be sent to all users.  Lines that start with a "/" are used for commands like:', true, false);
+  let mode_annotate = new Mode('annotate', 'This mode allows you to add/edit a comment on the tile you are currently standing on (provided your map editing password authorizes you so).  Hit Return to leave.', true, true);
+let mode_play = new Mode('play', 'This mode allows you to interact with the map.', false, false);
+let mode_study = new Mode('study', 'This mode allows you to study the map and its tiles in detail.  Move the question mark over a tile, and the right half of the screen will show detailed information on it.', false, true);
+let mode_edit = new Mode('edit', 'This mode allows you to change the map tile you currently stand on (if your map editing password authorizes you so).  Just enter any printable ASCII character to imprint it on the ground below you.', false, false);
+let mode_teleport = new Mode('teleport', 'Follow the instructions to re-connect and log-in to another server, or enter anything else to abort.', true);
+let mode_portal = new Mode('portal', 'This mode allows you to imprint/edit/remove a teleportation target on the ground you are currently standing on (provided your map editing password authorizes you so).  Enter or edit a URL to imprint a teleportation target; enter emptiness to remove a pre-existing teleportation target.  Hit Return to leave.', true, true);
+let mode_password = new Mode('password', 'This mode allows you to change the password that you send to authorize yourself for editing password-protected map tiles.  Hit return to confirm and leave.', true, false, false);
 
 let tui = {
   mode: mode_waiting_for_server,
@@ -306,6 +315,8 @@ let tui = {
   height_turn_line: 1,
   height_mode_line: 1,
   height_input: 1,
+  password: 'foo',
+  show_help: false,
   init: function() {
       this.inputEl = document.getElementById("input");
       this.inputEl.focus();
@@ -319,14 +330,13 @@ let tui = {
     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.square_move_up]: 'UP',
+        [this.keys.square_move_left]: 'LEFT',
+        [this.keys.square_move_down]: 'DOWN',
+        [this.keys.square_move_right]: 'RIGHT'
+    };
+    if (game.map_geometry == 'Hex') {
         this.movement_keys = {
             [this.keys.hex_move_upleft]: 'UPLEFT',
             [this.keys.hex_move_upright]: 'UPRIGHT',
@@ -337,35 +347,45 @@ let tui = {
         };
     };
   },
-  switch_mode: function(mode, keep_pos=false) {
-    if (mode == mode_study && !keep_pos && game.player_id in game.things) {
+  switch_mode: function(mode) {
+    this.show_help = false;
+    this.map_mode = 'terrain';
+    if (mode.shows_info && 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();
-        }
-    }
+    this.restore_input_values();
     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_edit) {
+        this.show_help = true;
     } 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();
   },
+  restore_input_values: function() {
+      if (this.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();
+          }
+      } else if (this.mode == mode_portal && explorer.position in game.portals) {
+          let portal = game.portals[explorer.position]
+          this.inputEl.value = portal;
+          this.recalc_input_lines();
+      } else if (this.mode == mode_password) {
+          this.inputEl.value = this.password;
+          this.recalc_input_lines();
+      }
+  },
   empty_input: function(str) {
       this.inputEl.value = "";
       if (this.mode.has_input_prompt) {
@@ -401,42 +421,28 @@ let tui = {
       };
       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 = [];
+    let map_content = game.map;
+    if (this.map_mode == 'control') {
+        map_content = game.map_control;
+    }
     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]);
+        line.push(map_content[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 (this.map_mode == 'terrain') {
+        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]] = '?';
     }
@@ -478,7 +484,11 @@ let tui = {
     }
   },
   draw_mode_line: function() {
-      terminal.write(0, this.window_width, 'MODE: ' + this.mode.name);
+      let help = 'hit [' + this.keys.help + '] for help';
+      if (this.mode.has_input_prompt) {
+          help = 'enter /help for help';
+      }
+      terminal.write(0, this.window_width, 'MODE: ' + this.mode.name + ' – ' + help);
   },
   draw_turn_line: function(n) {
     terminal.write(1, this.window_width, 'TURN: ' + game.turn);
@@ -508,6 +518,47 @@ let tui = {
         }
     }
   },
+  draw_help: function() {
+      let movement_keys_desc = Object.keys(this.movement_keys).join(',');
+      let content = this.mode.name + " mode help\n\n" + this.mode.help_intro + "\n\n";
+      if (this.mode == mode_play) {
+          content += "Available actions:\n";
+          if (game.tasks.includes('MOVE')) {
+              content += "[" + movement_keys_desc + "] – move player\n";
+          }
+          if (game.tasks.includes('FLATTEN_SURROUNDINGS')) {
+              content += "[" + tui.keys.flatten + "] – flatten player's surroundings\n";
+          }
+          content += '\nOther modes available from here:\n';
+          content += '[' + this.keys.switch_to_chat + '] – chat mode\n';
+          content += '[' + this.keys.switch_to_study + '] – study mode\n';
+          content += '[' + this.keys.switch_to_edit + '] – terrain edit mode\n';
+          content += '[' + this.keys.switch_to_portal + '] – portal edit mode\n';
+          content += '[' + this.keys.switch_to_annotate + '] – annotation mode\n';
+          content += '[' + this.keys.switch_to_password + '] – password input mode\n';
+      } else if (this.mode == mode_study) {
+          content += "Available actions:\n";
+          content += '[' + movement_keys_desc + '] – move question mark\n';
+          content += '[' + this.keys.toggle_map_mode + '] – toggle view between terrain, and password protection areas\n';
+          content += '\nOther modes available from here:\n';
+          content += '[' + this.keys.switch_to_chat + '] – chat mode\n';
+          content += '[' + this.keys.switch_to_play + '] – play mode\n';
+      } else if (this.mode == mode_chat) {
+          content += '/nick NAME – re-name yourself to NAME\n';
+          content += '/msg USER TEXT – send TEXT to USER\n';
+          content += '/' + this.keys.switch_to_play + ' or /play – switch to play mode\n';
+          content += '/' + this.keys.switch_to_study + ' or /study – switch to study mode\n';
+      }
+      let start_x = 0;
+      if (!this.mode.has_input_prompt) {
+          start_x = this.window_width
+      }
+      terminal.drawBox(0, start_x, terminal.rows, this.window_width);
+      let lines = this.msg_into_lines_of_width(content, this.window_width);
+      for (let y = 0, i = 0; y < terminal.rows && i < lines.length; y++, i++) {
+          terminal.write(y, start_x, lines[i]);
+      }
+  },
   full_refresh: function() {
     terminal.drawBox(0, 0, terminal.rows, terminal.cols);
     if (this.mode.is_intro) {
@@ -526,6 +577,9 @@ let tui = {
         }
         this.draw_input();
     }
+    if (this.show_help) {
+        this.draw_help();
+    }
     terminal.refresh();
   }
 }
@@ -535,9 +589,11 @@ let game = {
         this.things = {};
         this.turn = -1;
         this.map = "";
+        this.map_control = "";
         this.map_size = [0,0];
         this.player_id = -1;
         this.portals = {};
+        this.tasks = {};
     },
     get_thing: function(id_, create_if_not_found=false) {
         if (id_ in game.things) {
@@ -605,7 +661,6 @@ let explorer = {
         if (target) {
             this.position = target
             this.query_info();
-            tui.full_refresh();
         } else {
             terminal.blink_screen();
         };
@@ -626,8 +681,11 @@ let explorer = {
         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];
+        if (game.fov[position_i] != '.') {
+            return 'outside field of view';
+        };
+        let info = "";
         info += "TERRAIN: " + game.map[position_i] + "\n";
         for (let t_id in game.things) {
              let t = game.things[t_id];
@@ -653,13 +711,13 @@ let explorer = {
         if (msg.length == 0) {
             msg = " ";  // triggers annotation deletion
         }
-        server.send(["ANNOTATE", unparser.to_yx(explorer.position), msg]);
+        server.send(["ANNOTATE", unparser.to_yx(explorer.position), msg, tui.password]);
     },
     set_portal: function(msg) {
         if (msg.length == 0) {
             msg = " ";  // triggers portal deletion
         }
-        server.send(["PORTAL", unparser.to_yx(explorer.position), msg]);
+        server.send(["PORTAL", unparser.to_yx(explorer.position), msg, tui.password]);
     }
 }
 
@@ -670,33 +728,39 @@ tui.inputEl.addEventListener('input', (event) => {
             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]]);
+        server.send(["TASK:WRITE", tui.inputEl.value[0], tui.password]);
         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);
-	}
     }
+    tui.full_refresh();
 }, false);
 tui.inputEl.addEventListener('keydown', (event) => {
+    tui.show_help = false;
     if (event.key == 'Enter') {
         event.preventDefault();
     }
-    if (tui.mode == mode_login && event.key == 'Enter') {
+    if (tui.mode.has_input_prompt && event.key == 'Enter' && tui.inputEl.value == '/help') {
+        tui.show_help = true;
+        tui.empty_input();
+        tui.restore_input_values();
+    } else if (!tui.mode.has_input_prompt && event.key == tui.keys.help) {
+        tui.show_help = true;
+    } else 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);
+        tui.switch_mode(mode_play);
     } else if (tui.mode == mode_annotate && event.key == 'Enter') {
         explorer.annotate(tui.inputEl.value);
-        tui.switch_mode(mode_study, true);
+        tui.switch_mode(mode_play);
+    } else if (tui.mode == mode_password && event.key == 'Enter') {
+        if (tui.inputEl.value.length == 0) {
+            tui.inputEl.value = " ";
+        }
+        tui.password = tui.inputEl.value
+        tui.switch_mode(mode_play);
     } else if (tui.mode == mode_teleport && event.key == 'Enter') {
         if (tui.inputEl.value == 'YES!') {
             server.reconnect_to(tui.teleport_target);
@@ -712,13 +776,11 @@ tui.inputEl.addEventListener('keydown', (event) => {
                     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]]);
+                        server.send(['NICK', tokens[1]]);
                     } else {
-                        tui.log_msg('? need login name');
+                        tui.log_msg('? need new name');
                     }
                 } else if (tokens[0].slice(1) == 'msg') {
                     if (tokens.length > 2) {
@@ -727,36 +789,41 @@ tui.inputEl.addEventListener('keydown', (event) => {
                     } 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 {
+	            server.send(['ALL', tui.inputEl.value]);
             }
-	} else if (tui.inputEl.valuelength > 0) {
-	    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) {
+    } 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) {
+          } else if (event.key === tui.keys.switch_to_edit
+                     && game.tasks.includes('WRITE')) {
               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) {
+          } else if (event.key === tui.keys.switch_to_password) {
+              event.preventDefault();
+              tui.switch_mode(mode_password);
+          } else if (event.key === tui.keys.flatten
+                     && game.tasks.includes('FLATTEN_SURROUNDINGS')) {
+              server.send(["TASK:FLATTEN_SURROUNDINGS", tui.password]);
+          } else if (event.key in tui.movement_keys
+                     && game.tasks.includes('MOVE')) {
               server.send(['TASK:MOVE', tui.movement_keys[event.key]]);
+          } else if (event.key === tui.keys.switch_to_portal) {
+              event.preventDefault();
+              tui.switch_mode(mode_portal);
+          } else if (event.key === tui.keys.switch_to_annotate) {
+              event.preventDefault();
+              tui.switch_mode(mode_annotate);
           };
     } else if (tui.mode == mode_study) {
         if (event.key === tui.keys.switch_to_chat) {
@@ -764,16 +831,17 @@ tui.inputEl.addEventListener('keydown', (event) => {
             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);
+        } else if (event.key == tui.keys.toggle_map_mode) {
+            if (tui.map_mode == 'terrain') {
+                tui.map_mode = 'control';
+            } else {
+                tui.map_mode = 'terrain';
+            }
         };
     }
+    tui.full_refresh();
 }, false);
 
 rows_selector.addEventListener('input', function() {
@@ -805,5 +873,13 @@ window.setInterval(function() {
         tui.inputEl.focus();
     }
 }, 100);
+window.setInterval(function() {
+    if (server.connected) {
+        server.send(['PING']);
+    } else {
+        server.reconnect_to(server.url);
+        tui.log_msg('@ attempting reconnect …')
+    }
+}, 5000);
 </script>
 </body></html>