[notification] As a user I want to dismiss the notifications with Esc.

[kittaakos]

Description

So when I open a running workspace for instance in Gitpod, the following notifications great me:

The notifications hide the Command Palette so I want to dismiss them ASAP but instead of clicking on Close, Close, and Close, I want to tap-tap-tap (🐈 ) Esc. Esc should dismiss the notification no matter where the focus is. At least as I user I would expect this behavior. Esc would close the top-most item in the notification queue.

Esc must not dismiss a notification which requires an input. I do not know if there is such a notification, though.

Reproduction Steps

OS and Theia version:

Diagnostics:

[akosyakov]

@AlexTugarev are you planning look into it next days? It seems that it can be implemented without aligning with VS Code for now as well? Maybe we better to annotate help wanted?

[AlexTugarev]

I can introduce a notificationFocus context and bind esc for current notifications in the next days.