gnome-shell/js
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
..
extensionPrefs extensionPrefs: Stop escaping extension name 2020-03-08 01:07:18 +00:00
gdm loginDialog: Do not expand "Not listed" button 2020-02-26 19:46:50 +00:00
misc ibusManager: Ensure to spawn --xim on non-wayland sessions 2020-03-06 18:57:23 +00:00
perf cleanup: Require "dangling" commas 2019-11-11 19:25:14 +00:00
portalHelper js: Don't use templates in files with translations 2020-02-17 23:20:40 +01:00
ui appDisplay: Reload folder views on installed app changes 2020-03-08 00:42:40 +00:00
js-resources.gresource.xml swipeTracker: Introduce swipe tracker 2020-01-10 18:20:22 +01:00
meson.build build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00
portal-resources.gresource.xml build: Include params.js in portal-helper gresources 2018-10-23 15:38:31 +00:00
prefs-resources.gresource.xml extensionPrefs: Move description into a expander 2020-02-03 19:11:21 +01:00