Am 22.02.2019 um 22:53 schrieb Allin Cottrell:
On Thu, 21 Feb 2019, Sven Schreiber wrote:
There is something that can be done, but I need to refer back to my
notes for details; I'll post again tomorrow.
(b): everything is nice and sharp, but somewhat smaller than one
wish. So long as my eyesight is OK, this works for me ;-)
I'll wait for your notes, but since the fonts can be adjusted within
gretl (both menu and fixed-width fonts) I don't quite understand why it
would be necessarily small. Or is it just the icons you're referring to?