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 14901
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 14900
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 14899
Display a warning when the same key is used multiple times
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip