Don't forget to restart VSCode after editing user settings or workspace settings for the changes to take effect.