Sun, 05 Jul 2020 01:58:48 +0200 Wuzzy [backport] Chat scale: Move setting to Video tab ui-scaling
Sun, 05 Jul 2020 04:00:29 +0300 alfadur add basic jumping to sentries
Sun, 05 Jul 2020 02:03:08 +0200 Wuzzy Chat: Use Ctrl-A for 'select all' again (instead of Ctrl-B)
Sun, 05 Jul 2020 01:58:48 +0200 Wuzzy Chat scale: Move setting to Video tab
Sat, 04 Jul 2020 22:18:54 +0200 sheepluva fix accidential resurrection of removed code of merge 63e2b7b2ec47
Sat, 04 Jul 2020 15:31:51 +0200 sheepluva Fix pas2c breakage caused by superfluous "+"s added by 250c778463f3, d9c62f196fe0 and 92ce801d0681
Sat, 04 Jul 2020 03:11:41 +0200 sheepluva Merge chat-scaling (= current state of branch "ui-scaling") into default branch
Sat, 04 Jul 2020 02:46:06 +0200 sheepluva fix chat-scaling being awkward due to font size pt/px confusion ui-scaling
(0) -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 tip