marcus hinz 8aba0eb315 GNOME-Extension: Popup schließt bei Klick auf Desktop/Shell-Chrome ...

Klick auf leere Fläche wechselt den Fensterfokus nicht, der Blur-Pfad
der App greift dort nicht. Solange das Popup offen ist, fängt ein
captured-event-Handler am Stage solche Klicks ab und relayt Hide per
D-Bus; Klicks auf den Panel-Button toggeln weiter selbst.

2026-07-15 20:10:33 +02:00

..

extension.js

GNOME-Extension: Popup schließt bei Klick auf Desktop/Shell-Chrome

2026-07-15 20:10:33 +02:00

metadata.json

SVG-Icons statt ICNS, Popup-Höhe an Monitor begrenzt, GNOME-Shell-Extension für Popup-Positionierung, Bundle-Targets explizit

2026-07-11 21:45:20 +02:00