摘要: Theia 有一个preference service(配置服务),它允许模块获取配置值、提供默认配置、监听配置变化。 配置保存在工作区的根目录下的 .theia/settings.json 或 Linux 系统上的 $HOME/.theia/settings.json 下。 对于 Windows 阅读全文
posted @ 2022-07-28 15:40 theiaide 阅读(401) 评论(0) 推荐(0) 编辑
摘要: 自定义组件时,Contribution构造函数中,可以通过defaultWidgetOptions的area参数指定widget显示的位置,如下: export const MyWidgetCommand: Command = { id: 'MyWidget:command' }; @injecta 阅读全文
posted @ 2022-07-28 11:07 theiaide 阅读(118) 评论(0) 推荐(0) 编辑