4 Commits

Author	SHA1	Message	Date
Florian Müllner	ace8676ad0	windowManager: Add shortcut for toggling quick settings ... Ever since the various status menus were combined into a single aggregate menu, the menu has been an important entry point. Alas, we never got around to adding a shortcut for it, not least because there never was a good candidate. We just freed super+s which works as either "system" or "(quick) settings", so use that. https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/5670 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2716>	2023-06-21 18:11:05 +00:00
Jonas Dreßler	d67077bdf1	Remove keyboard shortcut to open the app menu in the panel ... Now that the app menu indicator is no longer shown, it shouldn't be possible to toggle the popup menu via keyboard shortcut anymore, so remove the code and gsettings definitions for that. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2610>	2023-04-26 14:32:23 +02:00
sunflowerskater	2d00320a4b	general: Rename "application" to "app" ... Several places in Shell use the word "application". However,"app" is a more common term nowadays, so update strings accordingly. https://gitlab.gnome.org/Teams/Design/initiatives/-/issues/123 https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/6202 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2614>	2023-02-07 14:46:28 +00:00
Florian Müllner	795e7d4b59	build: Say good-bye to intltool ... intltool is unmaintained nowadays while upstream gettext gained support for formats like GSettings schemas and .desktop files, and offers a mechanism to teach it about other XML formats not yet supported out of the box which we can use for the rest. So there's nothing stopping us, just make the switch ... https://bugzilla.gnome.org/show_bug.cgi?id=769074	2016-08-19 22:13:14 +02:00