Eberhard Graether 539377339a ui: finalized design for history list

2017-05-31 12:31:11 +02:00

..

images

ui: finalized design for history list

2017-05-31 12:31:11 +02:00

undoredo_view.css

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

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