Theia APIs——Preferences

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