Changing editor prefs for source control