Gnome extension: close the menu and hide the overview when the thumbnail is clicked