b1de1ada25
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 |
||
|---|---|---|
| .. | ||
| extensionPrefs | ||
| gdm | ||
| misc | ||
| perf | ||
| portalHelper | ||
| ui | ||
| js-resources.gresource.xml | ||
| Makefile.am | ||