gnome-shell/js/portalHelper
2017-01-19 14:04:34 +01:00
..
main.js portalHelper: Handle Ctrl+W/Ctrl+Q to close window 2017-01-19 14:04:34 +01:00