Shell Restart User Menu Entry

Adds a "Restart Shell" function on GNOME panel
Shell Restart User Menu Entry
  1 Screenshot
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!
homepage:
github.com
license type:
Freeware 
developed by:
asant
category:
ROOT \ Desktop Environment \ GNOME Shell Extensions
Shell Restart User Menu Entry
Download Button

In a hurry? Add it to your Download Basket!

user rating

UNRATED
0.0/5
 

0/5

Rate it!

Add your review!

SUBMIT