gnome-shell

History

Florian Müllner 5fc456d9d9 userWidget: Handle non-square icons gracefully

We currently assume that user icons are square, which is the case when
set by the users settings panel, but not enforced by AccountsService.

Handle that case by moving the pixel size back to the actor and using
an appropriate background-size style property of 'cover' (which means
the smallest dimension of the image is scaled to fit the desired size).

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1144

2019-07-29 16:16:22 +00:00

extensionPrefs

cleanup: Mark globals used from other modules as exported

2019-07-24 00:28:45 +02:00

gdm

cleanup: Mark globals used from other modules as exported

2019-07-24 00:28:45 +02:00

misc

style: Disable camelcase rule for GObject properties

2019-07-24 00:28:45 +02:00

perf

perf: Shut up another eslint error