gnome-shell/js
Georges Basile Stavracas Neto 261d6d35f5 userWidget: Add empty label when user is null
Currently, when a null user is passed, we don't add any
username label. That makes the layout of user and no-user
cases inconsistent.

Add a ghost label with no opacity to mimic the username
label.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/922
2020-02-12 19:29:48 +00:00
..
extensionPrefs extensionPrefs: Remove stray > in .ui file 2020-02-06 20:05:32 +01:00
gdm authPrompt: Only spin on password entries 2020-02-12 19:29:48 +00: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: Enable WebKit sandbox if available 2020-02-06 18:28:40 +01:00
ui userWidget: Add empty label when user is null 2020-02-12 19:29:48 +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