Theme and Shell Reloading 1.0

Theme and Shell Reloading is a GNOME Shell extension that provides some icons on the panel, allowing you to restart the theme and the shell in GNOME 3.To install this extension you must have GNOME Shell installed or Cinnamon. However, keep in mind...