gnome-shell

History

Ray Strode b1de1ada25 gdm: fix empty user list on user switching

There's some vestigial code for hiding the user list
that runs at the same time its parent is hidden.

Only the parent should be hidden, at this point, so
there's situations where the user list hides and
never comes back.

This commit fixes that, by deleting the vestigial code.

https://bugzilla.gnome.org/show_bug.cgi?id=719418

2015-03-17 12:22:06 -04:00

authPrompt.js

theme: a button is a button is a button

2015-02-20 15:16:06 +01:00

batch.js

Changed obsolete FSF postal address.

2014-01-08 04:35:14 +07:00

fingerprint.js

Stringify the xml definitions for E4X removal

2013-10-25 08:57:27 +11:00

loginDialog.js

gdm: fix empty user list on user switching