<select>s in popup menus unusable in Firefox because menu closes

[texttheater]

Steps to reproduce

1. Open https://fable.io/repl4/ in Firefox (tested with 102.0 on Ubuntu+GNOME Flashback)
2. Click on the gear icon in the left sidebar
3. Click on the <select> under Language
4. Move the mouse pointer downwards to select a different entry

Expected behavior

The menu stays open and you can select your desired target language.

Actual behavior

The menu closes as soon as you move the mouse, making it impossible to change the setting.

Note

In Chrome it seems to work fine.

[texttheater]

I don't know what happened with the Markdown formatting in this issue, everything from the fourth bullet point on got mangled. Did I find a bug on GitHub as well?

[MangelMaxime]

@texttheater The formatting was off because you wrote <select> outside of a code block.

I guess Github or Markdown allow to write it without escaping and so it was putting the rest of the message inside of the <select> element or something.

[alfonsogarciacaro]

Thanks for your report @texttheater! Oh, my, Firefox creating issues again. I can reproduce the issue... but only some times, after several tests it seems the dropdown disappears when you move the cursor too fast, if you wait for a second or two it seems to work 🤦

Unfortunately we don't have the resources to investigate browser glitches. This is just standard HTML select (we're just using Bulma for the styling), so it looks like a Firefox issue. If someone can think of a workaround we could try to implement it.