> or we just drop the "very small icons" preference altogether.
It would be sad, I like "very small icons": little space, but still at hand if it would be needed.  (I overdid with PNG optimization, sorry.) P.S. It seems I'm beginning to dislike GTK3... At all. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/1746#issuecomment-359171253
