Tue, 30 Apr 2019 15:29:44 +0200 Wuzzy Force-enable NOVIDEOREC when building PAS2C due to bug 722
Tue, 30 Apr 2019 14:49:37 +0200 Wuzzy Frontend: Slightly increase size+padding for QLineEdit, QSpinBox
Tue, 30 Apr 2019 14:33:20 +0200 Wuzzy Use Qt style "Windows", remove optional dependency on qtstyleplugins
Tue, 30 Apr 2019 14:21:11 +0200 Wuzzy Add explicit custom scroll bar style
(0) -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip