Shell Restart User Menu Entry iconShell Restart User Menu Entry

Adds a "Restart Shell" function on GNOME panel
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.

last updated on:
October 24th, 2012, 7:39 GMT
price:
FREE!
developed by:
asant
license type:
Freeware 
category:
ROOT \ Desktop Environment \ GNOME Shell Extensions

FREE!

In a hurry? Add it to your Download Basket!

user rating

UNRATED
0.0/5
 

0/5

1 Screenshot
Shell Restart User Menu Entry

Add your review!

SUBMIT