Steps to Reproduce:
- Run the desktop example on Linux
- Press F11 to switch to full-screen
- Note that the menu is missing
Additional Information
- Operating System: Linux
- Theia Version: 1.17
For reference the PR that introduced the full-screen feature is #9399