Adding the Restart WPS menu item to the desktop menu

1. Open the Workplace Shells Extensions Settings Notebook to the Desktops page.
2. Select the Add Restart WPS menu item checkbox.
3. Close the settings notebook.