Display glitch in Notation Options

When you make the window wider, at some point this text box suddenly collapses.

Thanks for reporting this. I’ll fix it.