https://bugs.documentfoundation.org/show_bug.cgi?id=167987
--- Comment #4 from V Stuart Foote <[email protected]> --- (In reply to Eyal Rozenberg from comment #3) > Still waiting for Sahil's comment, but - I will say that removing an unused > theme cannot legitimately require or request a restart, or a partial restart. Of course it can, the themes are recorded into user configs and populate a list box for appearance theme selection. Removing it without a restart is just asking for inconsistent behavior. The restart serves to assure a stable UI--there is nothing functionally wrong with it. -- You are receiving this mail because: You are the assignee for the bug.
