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 thedefaults
command if it’s still too small."