Use UserSettingsService to pass user settings file to debugger
Minor improvements on debugging code