> On 26 Aug 2015, at 11:33, stepharo <steph...@free.fr> wrote:
> 
> How can we reproduce it?
> May be a cache for icon is missing.

You can see the cache by printing

        ThemeIcons current icons

        Marcus



Reply via email to