809295c03d
Otherwise, if something managed to call close(), it wouldn't close any child menus. https://bugzilla.gnome.org/show_bug.cgi?id=693572 |
||
---|---|---|
.. | ||
extensionPrefs | ||
gdm | ||
misc | ||
perf | ||
ui | ||
Makefile.am |
809295c03d
Otherwise, if something managed to call close(), it wouldn't close any child menus. https://bugzilla.gnome.org/show_bug.cgi?id=693572 |
||
---|---|---|
.. | ||
extensionPrefs | ||
gdm | ||
misc | ||
perf | ||
ui | ||
Makefile.am |