Shell Restart User Menu Entry

by distopico | 6407 downloads

A very simple extension that adds a "restart shell" function to the user's menu, with a confirm dialog.

Extension Homepage

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…