It'd be nice if you could make available hi-res versions of pixmaps/gretl.xpm, doc/figures/gretl-logo.png and doc/figures/hansl-png so maybe someone could turn those into SVG format.Right now those icons are hard-wired to appear at GTK_ICON_SIZE_MENU
(which will generally by 16 x 16 pixels). Most of the icons we show
are standard ones that could easily be resized if we made that
sizing into a variable. But some of them are home-made 16 x 16
pixmaps that would look bad ("pixelated") at any other size.
If somebody with an artistic bent were to take a look at the xpm
files in the pixmaps directory of the gretl source (the 16 x 16 ones
in particular) and produce scaleable (SVG) versions, that would be a
nice service...