Change default editor font to Inter

[ettiSurreal]

Related: #3764

Currently the editor uses Noto Sans as the default font.
I'm here to propose to move to Inter, a modern, open source font designed for interfaces.
I may be biased, but I think it looks nicer and more readable than Noto.

Display Size	Noto Sans (Current)	Inter (Proposed)
100%
75%
50%

This is inspired by Soundcloud and Blender relatively recently using to Inter, so i used the OpenType features that mirror the latter.
cv02 - Open four
cv03 - Open six
cv04 - Open nine
cv05 - Lowercase L with tail
cv08 - Uppercase I with serif
cv09 - flat top three
tnum - Evenly spaced numbers, makes the interface less "jumpy".

[Calinou]

I tend to agree that Inter is more readable than Noto Sans, but remember that it also visually looks a bit larger, which helps it be more readable. Considering there's a regular demand for smaller editor fonts by default, I'm not sure if going in that direction would be a good thing unless we also reduce the default font size. Can you take screenshots of the editor with the font size set to 12 and 13?

Also, one thing Noto has over Inter is visual consistency across languages. Noto has a huge selection of fonts to choose from (one of the largest in open source fonts). Inter looks nicer, but the second you have CJK or Arabic characters on screen, they'll look different than the rest of the editor.

tnum - Evenly spaced numbers, makes the interface less "jumpy".

Note that regarding this, we could choose to use the code font (which is fixed-width) for numeric fields in the inspector.

[Zireael07]

+1 for using fixed with font for numeric fields

[ettiSurreal]

Discovery while testing Inter: Not everything updates properly when you change theme parameters, specifically the size of tabs can break, and the font of categories doesn't update until you reopen the window.

[Calinou]

I think it looks nice at size 13, while also having more screen real estate available than with Noto Sans at size 14. This would need further testing on small displays like laptops to make sure it's still usable though.