gnome-shell-extension: закрытие актера после щелчка мышью - PullRequest
0 голосов
/ 03 марта 2020

после добавления актера в Main.uiGroup, как я могу получить, чтобы любой щелчок мыши (также не на нем) закрывал этого актера?

Я пытался global.stage.connect('button-press-event', function() { ... }, но, например, нажатие на windows делает не работает.

...