gnome-shell/js
Florian Müllner 9916989272 extensionPrefs: Simplify empty placeholder
GNOME Software will remove its extension support, so we should stop
referencing it in addition to extensions.gnome.org.

In fact, the placeholder is not the best place to hint at where new
extensions can be found, as the user will never see it in case the
distribution includes pre-installed extensions.

So remove the hint altogether, we will add it back in a more prominent
place later.

With the whole placeholder now being much lighter, we can stop dimming
the remaining elements.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2020-02-03 19:03:19 +01:00
..
extensionPrefs extensionPrefs: Simplify empty placeholder 2020-02-03 19:03:19 +01:00
gdm util: Move wiggle parameters to a common place 2020-02-01 08:06:31 +01:00
misc util: Move wiggle parameters to a common place 2020-02-01 08:06:31 +01:00
perf cleanup: Require "dangling" commas 2019-11-11 19:25:14 +00:00
portalHelper portalHelper: Require GTK 3.0 2020-01-31 17:39:18 +01:00
ui dialogs: Hide caps lock warning if password entry is hidden 2020-02-01 08:08:33 +01: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 build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00