Gartoon and Gartoon Redux. The offending item there should be the sun. And you should be using the debian default theme which is lacking a few symbols. As wxMaxima and debian use tango icons it is quite hard to tell which icon comes from where, optically.
Kind regards, Gunter. Am 10. November 2017 13:19:34 MEZ schrieb Stanislav Maslovski <stanislav.maslov...@gmail.com>: >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 -- Diese Nachricht wurde von meinem Android-Gerät mit K-9 Mail gesendet.
