Olli Helenius
5bf370b226
gnomeExtensions.night-theme-switcher: 50 -> 53 ( #142346 )
...
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2021-10-22 13:14:36 +02:00
Jan Tojnar
5fb893f922
Merge pull request #124315 from piegamesde/gnome-extensions
...
gnomeExtensions: Some more cleanup
2021-07-14 03:56:18 +02:00
piegames
bffbf4617a
gnomeExtensions: integrate manually packaged extensions better with the others
...
Their keys are now not used directly. Instead, we go the standard route of mapping to the
UUID in order to apply the rename procedure. This makes sure the manual override always does
the correct thing, and also gives us more consistency overall.
2021-07-14 03:35:11 +02:00
piegames
6aae2894ef
gnomeExtensions: rename uuid field to extensionUuid
2021-07-14 03:23:36 +02:00
Mattherix
576c0f0cf2
gnomeExtensions.night-theme-switcher: 40 -> 50 ( #125725 )
2021-06-10 18:42:08 +02:00
Jan Tojnar
468cb5980b
gnome: rename from gnome3
...
Since GNOME version is now 40, it no longer makes sense to use the old attribute name.
2021-05-08 09:47:42 +02:00
