During theme switch the user can now set the selected theme as default.
This setting is saved as configuration scope and loaded for new
workspaces unless the user has a theme set for this specific workspace.
Adds 'Use as default theme' checkbox to the theme restart dialog.