Eclipse Theia font

Eclipse 推出了新的 IDE : Theia, 看到页面上的字体很漂亮,大家知道这是什么字体吗? 哪里能下载?

他可以直接用 vs code 的插件,这是占了人家的便宜了,也是 typescipt 写的

Anonymous Pro Mono

1 个赞

多谢,我去找找看

话说Theia和 VSC有什么区别?VSC 也可以在 Cloud 上运行啊,最早就是从 Azure Web IDE 来的