Shell Restart User Menu Entry

Freeware    
  UNRATED

  147 downloads

Adds a "Restart Shell" function on GNOME panel

description

download

specs

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

#restart shell #restart GNOME-Shell #GNOME restart #restart #reboot #shell #GNOME-Shell

Shell Restart User Menu Entry

0 User reviews so far.

SUBMIT