GNOME Shell Extensions

Review of "Shell Restart User Menu Entry" version 7

Details Page Preview

Shell Restart User Menu Entry

by asan

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