From 7293b76b928687233bac13f45c5a56382de23dc9 Mon Sep 17 00:00:00 2001 From: Tor Andersson Date: Thu, 1 Jul 2021 23:22:16 +0200 Subject: Improve role and player name display with long user names. --- play.html | 18 ++++++++++++------ 1 file changed, 12 insertions(+), 6 deletions(-) diff --git a/play.html b/play.html index db3001d..fd5e390 100644 --- a/play.html +++ b/play.html @@ -319,7 +319,7 @@ div.block {
-
$PROMPT
+
Connecting...