I had added the scaling because normally gtk+ automatically delivers me the icons in the Right size. But - on some icon themes a few icons were grossly of the wrong size. For example in my favourite theme I got a 512x512 pixel-sun on a 96dpi display. - and on debian a few themes lack some standard icons so wxMaxima falls back to the icons it comes with - that are big so scaling them down still doesn't produce icons that are too blurry.
If you - extend the patch to just scale the icons if they are obviously way too big - and if you limit the scaling to 1/n and 1.5/n with n being an integer (this will reduce the blur to a minimum in the cases scaling is necessary) I'll apply it and upstream it so the next official release no more scales icons on wxGTK. Thanks a lot, and kind regards, Gunter.
