Eli Zaretskii writes: >> From: Philip Kaludercic [...] >> I am not familiar with GTK as a developer, but if the toolkit already >> provides some system to load pre-bundled icons, that sounds like the >> preferable solution. > > Agreed. Using platform icons is always preferable, at least as the > default. I found a few icons that match these new ones. This is what it looks like now: