Fri, 16 Nov 2018 21:23:23 +0100 Increase width for key binding drop-down list
Wuzzy <Wuzzy2@mail.ru> [Fri, 16 Nov 2018 21:23:23 +0100] rev 14239
Increase width for key binding drop-down list
Fri, 16 Nov 2018 14:59:57 -0500 oops
nemo [Fri, 16 Nov 2018 14:59:57 -0500] rev 14238
oops
(0) -10000 -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 tip