Theia: quick palette not available in the maximized mode

[akosyakov]

In order to reproduce:

• maximize the editor
• try to trigger the quick command palette (F1)

[kpge]

I can not reprofuce it :(

[vince-fugnitto]

@akosyakov I can't reproduce it either, I see the command palette even when an editor is maximized.

[lmcbout]

I tried with Chrome and Firefox browser and electron on Ubuntu 16.04, I cannot reproduce it either, the quick palette is always available.
Note: I always keep the Chrome toolbar available in my environment

[akosyakov]

I can reproduce it in Gitpod prod, but not with vanilla Theia. Although Gitpod does not have any specific in this area, strange :(

[vince-fugnitto]

@akosyakov tested lately in Gitpod and the issue does not persist :)

[akosyakov]

Ok, feel free to close

[vince-fugnitto]

Thanks @akosyakov :)