Shell Restart User Menu Entry

  147 downloads
Freeware    
  not rated
Adds a "Restart Shell" function on GNOME panel

description

download

specifications

Shell Restart User Menu Entry is a GNOME Shell extension that allows you to easily and quickly restart the shell.

It adds an entry to the User Menu, called "Restart Shell".

To install this extension you must have GNOME Shell installed or Cinnamon. However, keep in mind that it has not been tested with Cinnamon.
READ MORE   
Last updated on October 24th, 2012
1  
Shell Restart User Menu Entry

0 User reviews so far.

SUBMIT