2020年1月9日
Theia APIs——Preferences
摘要： 上一篇：Theia APIs——命令和快捷键 Preferences Theia有一个preference service，模块可以通过它来获取preference的值，提供默认的preferences以及监听preference的更改。 Preferences的内容可以保存在workspace根目 阅读全文
posted @ 2020-01-09 17:06 Jaxu 阅读(1072) 评论(0) 推荐(0) 编辑