PopupMenu.AddSeparator on Windows

I usually file it as a documentation bug report, and it is most often fixed right away :slight_smile:

But you may want to file a separate bug report for the compiler about the separator where the selection should not stop. It cannot hurt.

Youโ€™re right, Michel; documentation now updated. Thanks, Robin.