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

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

..

images

ui: Added history of last active symbols to UI and menu (issue 151)

2017-05-09 17:14:43 +02:00

history_list.css

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

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