Tools Menu Gets Stuck On Linux with Focus Follows Mouse

On Linux with a desktop configured for focus follows mouse, the Tools>Boards and Tools>Ports menus seem to get stuck & become unresponsive if the cursor moves outside the menu and another window get focus.

Here's a video demo
https://www.youtube.com/watch?v=H_Ue1jXwlF8

Reproduce the Tools > Boards and Tools > Ports behavior on Linux with focus follows mouse enabled, using the linked video as a reference. Trace the menu handling involved when the cursor leaves the menu and another window gains focus; the issue is done when both menus remain responsive afterward.

Written by the indexing model from the issue text.