On Thu, 14 May 2020 18:46:07 +0200 Steffen Klemer wrote: >Pierre: did you solve this one? Just compiled gtk3; missing icon problem persists... Hmm... is latest gtk3 currently showing 3.16.0git938..? Pierre