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
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
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 stan
Package: wxmaxima
Version: 17.10.1-1
Severity: minor
Tags: patch
Hi,
This version of wxmaxima, as compared to 16.04.2, applies unnecessary scaling
to the toolbar
icons. The result of this scaling is very aestetically unpleasing to the point
of being disturbing.
If you look into the source code
4 matches
Mail list logo
