Theme and Shell Reloading

by joebodo

Provides top panel icons for reloading the theme and restarting the shell. Primarily intended for extension and theme authors who would like a faster way to reload shell changes.

Extension Homepage
https://github.com/joebodo/tinkerer-joebodo
Download

Your opinion

Unfortunately, to help prevent spam, we require that you log in to GNOME Shell Extensions in order to post a comment or report an error. You understand, right?

User Reviews

Loading reviews…