isa/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
72c4f148ef
gnome-shell/js/extensionPrefs
History
Florian Müllner 3d443d5b17 extensionPrefs: Stop escaping extension name 
The corresponding label no longer uses markup, so we can and should use
the unescaped name.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/2305
2020-03-08 01:07:18 +00:00
..
css extensionPrefs: Support extension updates 2020-02-03 19:33:12 +01:00
ui extensionPrefs: Remove stray > in .ui file 2020-02-06 20:05:32 +01:00
main.js extensionPrefs: Stop escaping extension name 2020-03-08 01:07:18 +00:00