Eberhard Graether 365eadc807 ui: Fixed history list can't be clicked away on Linux

2018-01-16 15:31:04 +01:00

..

data

ui: Fixed history list can't be clicked away on Linux

2018-01-16 15:31:04 +01:00

user

ui: Change screen scaling on Linux (issue #518, #523)

2018-01-16 11:01:32 +01:00