Problem description Opening the Preferences dialog and accepting changes with the Ok button always presents the user with the Restart Required warning. Workbench affected? None Steps to reproduce Open ...