Make CHATFACE trigger screen refresh.

diff --git a/rogue_chat.html b/rogue_chat.html
index 5a55f3bd1d01254e7531b03762d83508baea4739..5e663981d13ba7292b0f8b98ca006fde9b8b4a7c 100644 (file)
--- a/rogue_chat.html
+++ b/rogue_chat.html
@@ -541,6 +541,7 @@ let server = {
              tui.log_msg('# ' + tokens[1], 1);
         } else if (tokens[0] === 'CHATFACE') {
             tui.draw_face = tokens[1];
+            tui.full_refresh();
         } else if (tokens[0] === 'REPLY') {
              tui.log_msg('#MUSICPLAYER: ' + tokens[1], 1);
         } else if (tokens[0] === 'PLAYER_ID') {

diff --git a/rogue_chat_curses.py b/rogue_chat_curses.py
index 7d2a3b163b0d3a05f4c0a24ffe1f2e3b2b67d95a..28588928314991db4b16dcfe2ee77bc0646d908d 100755 (executable)
--- a/rogue_chat_curses.py
+++ b/rogue_chat_curses.py
@@ -202,6 +202,7 @@ cmd_CHAT.argtypes = 'string'
 
 def cmd_CHATFACE(game, thing_id):
     game.tui.draw_face = thing_id
+    game.tui.do_refresh = True
 cmd_CHATFACE.argtypes = 'int:pos'
 
 def cmd_PLAYER_ID(game, player_id):