Re: [Gretl-devel] [Gretl-users] anybody running gretl on tablets?

On Mon, 27 Jan 2014, cociuba mihai wrote: > Also I want to know if it's possible to set the size of the icons in the > gretl toolbar because they are to small to use on a tablet. 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...