Jonas Dreßler f546715cc3 polkitAgent: Update user name on user changes ...

Right now we only update the user avatar on the user-changed signal, but
since we also display the users real name we should also update that if
the user changes.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/788

2019-11-05 18:52:15 +01:00

..

extensionPrefs

cleanup: Use (un)block_signal_handler() convenience wrapper

2019-10-30 19:40:15 +00:00

gdm

st: Remove StBin's align properties

2019-11-04 21:27:56 +01:00

misc

cleanup: Use more template strings

2019-11-05 01:51:29 +00:00

perf

overview: Add OverviewActor and use as main actor of the Overlay

2019-10-16 15:26:13 +00:00

portalHelper

cleanup: Use more template strings

2019-11-05 01:51:29 +00:00

ui

polkitAgent: Update user name on user changes

2019-11-05 18:52:15 +01:00

js-resources.gresource.xml

accessibility: Add pointer accessibility support

2019-06-06 09:13:29 +02: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