3 Commits

Author	SHA1	Message	Date
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