Fri, 10 May 2019 22:54:23 +0200 Remove REPLAY_END server message
Wuzzy <Wuzzy2@mail.ru> [Fri, 10 May 2019 22:54:23 +0200] rev 14925
Remove REPLAY_END server message
Fri, 10 May 2019 22:51:43 +0200 Teach frontend how to deal with official server replays (/watch)
Wuzzy <Wuzzy2@mail.ru> [Fri, 10 May 2019 22:51:43 +0200] rev 14924
Teach frontend how to deal with official server replays (/watch)
Tue, 07 May 2019 22:36:15 +0200 Add new server messages REPLAY_START and REPLAY_END for /WATCH command
Wuzzy <Wuzzy2@mail.ru> [Tue, 07 May 2019 22:36:15 +0200] rev 14923
Add new server messages REPLAY_START and REPLAY_END for /WATCH command
Tue, 07 May 2019 20:23:51 +0200 Frontend: Optimize control conflict handling a bit
Wuzzy <Wuzzy2@mail.ru> [Tue, 07 May 2019 20:23:51 +0200] rev 14922
Frontend: Optimize control conflict handling a bit
Tue, 07 May 2019 19:39:08 +0200 Frontend: Highlight key conflicts
Wuzzy <Wuzzy2@mail.ru> [Tue, 07 May 2019 19:39:08 +0200] rev 14921
Frontend: Highlight key conflicts
Tue, 07 May 2019 18:45:14 +0200 Display a warning when the same key is used multiple times
Wuzzy <Wuzzy2@mail.ru> [Tue, 07 May 2019 18:45:14 +0200] rev 14920
Display a warning when the same key is used multiple times
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip