Notation dropdown is blocked by Large Notations option

[QwQe308]

^as the title said

[github-actions[bot]]

This issue is stale because it has been open 30 days with no activity. Remove stale label or comment or this will be closed in 5 days.