Display glitch in Notation Options

When you make the window wider, at some point this text box suddenly collapses.
Schermafbeelding 2020-05-26 om 17.31.05.jpg

Thanks for reporting this. I’ll fix it.