2019-05-07 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 14902
Add new server messages REPLAY_START and REPLAY_END for /WATCH command
2019-05-07 Frontend: Optimize control conflict handling a bit
Wuzzy <Wuzzy2@mail.ru> [Tue, 07 May 2019 20:23:51 +0200] rev 14901
Frontend: Optimize control conflict handling a bit
2019-05-07 Frontend: Highlight key conflicts
Wuzzy <Wuzzy2@mail.ru> [Tue, 07 May 2019 19:39:08 +0200] rev 14900
Frontend: Highlight key conflicts
2019-05-07 Display a warning when the same key is used multiple times
Wuzzy <Wuzzy2@mail.ru> [Tue, 07 May 2019 18:45:14 +0200] rev 14899
Display a warning when the same key is used multiple times
(0) -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip