В VSCode 1.30 и ранее шрифт в среде выделен жирным шрифтом, теперь в 1.31 - нет.
Я не говорю о шрифте в редакторе, я имею в виду меню, диалог поиска и т. Д.
Version: 1.31.0
Electron: 2.0.16
Chrome: 61.0.3163.100
Node.js: 8.9.3
V8: 6.1.534.41
OS: Linux x64 4.20.6-arch1-1-ARCH