Robin Gareus 54e01f4e48 towards fixing optional tooltips ...

Editor::parameter_changed() is not called for UIConfig changes.
"use-tooltips" was never triggered.

2016-04-27 01:06:01 +02:00

17 KiB

Raw Blame History

View Raw