A very simple extension that adds a "restart shell" function to the user's menu, with a confirm dialog.
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
| 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 |
Just an extra check that avoids segfaults. By the way I was wondering whether it would be better to have these checks included in something like a JsonFile class, that could come with the shell's js scripts. That way scripters could refer to its interface in order to work on json files without having to worry about encodings.
Shell Restart User Menu Entry