Use UserSettingsService to pass user settings file to debugger