add button to restart gnome-shell