Font setting ignored

[graham-atom]

I set the font to the pragmata mono suggested: and then ran the enable command and restarted. the UI font now seems to be some times new roman looking thing:

this is my vscode install version info:

Version: 1.83.1 (Universal)
Commit: f1b07bd25dfad64b0167beb15359ae573aecd2cc
Date: 2023-10-10T23:46:55.789Z (2 wks ago)
Electron: 25.8.4
ElectronBuildId: 24154031
Chromium: 114.0.5735.289
Node.js: 18.15.0
V8: 11.4.183.29-electron.0
OS: Darwin arm64 22.3.0