Eberhard Graether 151fb666e4 ui: Fixed bookmark creator/editor header

2018-07-10 15:59:39 +02:00

..

data

ui: Fixed bookmark creator/editor header

2018-07-10 15:59:39 +02:00

user

ui: Fixed activating history item from menu showed wrong symbol (issue #572)

2018-06-30 02:16:03 +02:00