cebb6d40df
If the list of applications is refreshed we currently close the open app folder. This commit adds logic to reopen the app folder on reload. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/628