Review of "Shell Restart User Menu Entry" version 10

Details Page Preview

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

Extension Homepage
https://github.com/asant/gnome-shell-extension-restart-entry

No comments.

Diff Against

Files

Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.

All Versions

Version Status
16 Active
15 Active
14 Inactive
13 Inactive
12 Inactive
11 Rejected
10 Inactive
9 Rejected
8 Inactive
7 Rejected
6 Rejected
5 Rejected
4 Rejected
3 Inactive
2 Inactive
1 Inactive

Previous Reviews on this Version

gcampax posted a review
Sure!