Tyriar opened this issue 2 years ago · 0 comments
Looks like we're using the editor text settings but I think the workbench font would be more appropriate?
vs devtools:
