-
Alessandro Portale authored
The Theme editor is a feature which was present but disabled since the introduction of Themes. It is still unfinished and unlikely to be finished. An alternative, cheaper approch could be installing a file watcher on a theme file, and reloading it on any change. But for that we would still need proper theme switching during runtime. Change-Id: Ifd44e8c25c924a8f021618d20ce126648a3558a3 Reviewed-by: Eike Ziller <eike.ziller@theqtcompany.com> Reviewed-by: Orgad Shaneh <orgads@gmail.com> Reviewed-by: Leena Miettinen <riitta-leena.miettinen@theqtcompany.com>
9573ead4