At least under Linux, the menus are native widgets so you set the menu font size under system settings. I guess if you want one size of menu font for VS Code,

At least under Linux, the menus are native widgets so you set the menu font size under system settings. I guess if you want one size of menu font for VS Code, and a different size for everything else, then that’s a problem. That seems like a pretty narrow corner case though.