Hi, I see the problem. Here on my system wxmaxima uses its own icons. They look bad when scaled. Also, the height of the toolbar is too large. Can you point me to the icon theme you are using, so that I could check this issue further?
On Fri, Nov 10, 2017 at 5:37 AM, Gunter Königsmann <gun...@peterpall.de> wrote: > 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. > -- BR, Stanislav
