Widget topMenu error message

Hi there,

when first clicking on “File” and then on “Settings” the topMenu Widget throws an error.

Best wishes,
David

build 2019.20140
Windows 10

Fixed in upcoming version