I received the following pull request in github:


Looks fine to me (actually "better" than the current), and I was
thinking of pulling it along with the "configurable style" patch sent by
Daniel Berteaud a while ago.

Since the OP didn't respond, maybe some of you could know the origin of
those icons and/or replacements that we could pull in?

Reply via email to