On 15 Nov 2018, at 21:17, Dr Eberhard W Lisse wrote:
Is there a way to increase the font size ot the Context Menus/PopUps on
the bottom line? They are very hard to read.
Not currently, but I have increased the size from 11 to 12 (next build) and made it possible to set statusBarFontSize
via the defaults
command if it’s still too small.