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 14906
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 14905
Frontend: Highlight key conflicts
(0) -10000 -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 tip