Make name shortening more forgiving.

[plomrogue2] / rogue_chat.html

diff --git a/rogue_chat.html b/rogue_chat.html
index 8c3229cf09b1d4ba64594932a9ee08e01389701a..d6a86e096dbada3c123e0c953981ea99b737b34a 100644 (file)
--- a/rogue_chat.html
+++ b/rogue_chat.html
@@ -1261,9 +1261,9 @@ let tui = {
       for (const player of players) {
           let name = player.name_;
           const offset_y = y - shrink_offset;
-          const max_len = Math.max(4, (tui.left_window_width / 2) - (offset_y * 2) - 8);
+          const max_len = Math.max(5, (tui.left_window_width / 2) - (offset_y * 2) - 8);
           if (name.length > max_len) {
-              name = name.slice(0, max_len) + '…';
+              name = name.slice(0, max_len - 1) + '…';
           }
           terminal.write(y, 0, '@' + player.thing_char + ':' + name);
           y += 1;
@@ -1293,7 +1293,7 @@ let tui = {
       }
       terminal.write(terminal.rows - 2, start_x, '----------');
       let name = t.name_;
-      if (name.length > 6) {
+      if (name.length > 7) {
           name = name.slice(0, 6) + '…';
       }
       terminal.write(terminal.rows - 1, start_x, '@' + t.thing_char + ':' + name);