A única coisa que encontrei é esta extensão , mas Permite apenas fechar usando Ctrl + clique do mouse . Não permite teclado sem mouse.
Quando você instala no Gnome, você pode ver o código-fonte no arquivo
~/.local/share/gnome-shell/extensions/[email protected]/extension.js
ou aqui no Github .
Eu tenho uma solução na minha cabeça, mas não tenho experiência suficiente para perceber isso. (desculpe) Você deve perguntar a algum Guru da Extensão ou estudar os tutoriais da Extensão .
A extensão mencionada acima ( line 42
) usa a injeção para funcionar o evento '_onClicked'
. Do que poucas linhas abaixo, há o código this.emit('close-requested');
em line 45
, que na minha opinião fecha a janela na visão geral. Então, você deve, de alguma forma, alterar essa injeção de evento para algum evento quando enter for pressionado. Isso provavelmente permitirá que você use Ctrl + Enter para fechar. Mas isso é apenas minha suposição.