Це можна зробити натисканням кнопки Open settings (JSON) в верхньому правому кутку.
…
Вікно налаштувань
…
Вікно налаштувань
- Default User Settings – Стандартні налаштування. …
- User Settings – Налаштування користувача. …
- Workspace Settings – Налаштування робочої директорії.
27 лист. 2018 р.