Changing fonts

Hello. I’d like to know the best approach for changing the fonts. I have been able to change the font in the Theia extension with this:"–theia-ui-font-family","‘Roboto’, Arial, Sans-serif");
Should the same approach work in a plugin? Thanks.

[original thread by levjason]

Theia plugins (VS Code extensions) don’t have access to DOM by design.

VS Code extension allow theming, but we don’t support it yet.

Here is an issue to track it:


Thank you.