Is there a way that we can disable the users from setting the workspace preferences? We would like to disable the "Save Settings on Exit" under Workspace Preferences Operation. Can we grey it out so the users can't change the setting?