2022年7月29日
Theia 属性视图
摘要： 许多 IDE（例如传统的 Eclipse IDE）都具有全局、可扩展属性视图的概念，它显示IDE 中与当前选择有关 的附加信息。这些 IDE 中大量使用属性视图来显示元素的详细信息，例如图表编辑器、复杂树编辑器或文件资源管理器。主要思想是在 IDE 中拥有一个全局的、通用的属性视图，但允许特定的实现 阅读全文
posted @ 2022-07-29 11:42 theiaide 阅读(195) 评论(0) 推荐(0) 编辑
Theia Message Service
摘要： 消息服务允许您向用户显示消息、交互式对话和进度信息。 您可以注入 MessageService 并在其上调用 info、warn 或 error 来报告您的消息（请参见下面的代码示例）： @inject(MessageService) private readonly messageService: 阅读全文
posted @ 2022-07-29 11:12 theiaide 阅读(144) 评论(0) 推荐(0) 编辑
Theia Label Provider
摘要： Eclipse Theia 中的Label Provider负责元素/节点在 UI 中的呈现方式。Label Provider确定在树、列表或其他位置（例如视图标题）中显示元素的图标和文本。一个很好的例子是文件资源管理器：文件和目录节点从Label Provider中检索它们的图标和文本。另一个使用 阅读全文
posted @ 2022-07-29 10:55 theiaide 阅读(194) 评论(0) 推荐(0) 编辑
2022年7月28日
theia - 配置
摘要： Theia 有一个preference service（配置服务），它允许模块获取配置值、提供默认配置、监听配置变化。 配置保存在工作区的根目录下的 .theia/settings.json 或 Linux 系统上的 $HOME/.theia/settings.json 下。 对于 Windows 阅读全文
posted @ 2022-07-28 15:40 theiaide 阅读(401) 评论(0) 推荐(0) 编辑
defaultWidgetOptions的area参数区别
摘要： 自定义组件时，Contribution构造函数中，可以通过defaultWidgetOptions的area参数指定widget显示的位置，如下： export const MyWidgetCommand: Command = { id: 'MyWidget:command' }; @injecta 阅读全文
posted @ 2022-07-28 11:07 theiaide 阅读(118) 评论(0) 推荐(0) 编辑
2022年7月27日
Theia 窗口组件 widget
摘要： 组件widget是在 Theia 工作台中显示内容的部分，例如 视图或编辑器。 Theia 中的文件浏览器、代码编辑器或问题视图都是组件。 通过自定义组件，您可以将自己的自定义 UI 放置在基于 Theia 的应用程序中。 您的自定义 UI 在窗口布局方面与其他组件的行为相同，包括标题选项卡、调整大 阅读全文
posted @ 2022-07-27 12:04 theiaide 阅读(1127) 评论(0) 推荐(0) 编辑
theia 命令、菜单和快捷键绑定
摘要： 命令是由 ID 和要执行的函数定义的可运行操作（加上一些可选参数，如名称或图标）。命令可以通过命令面板触发，也可以绑定到快捷键或菜单项，并且可以以编程方式调用。命令触发的动作可以是上下文相关的，因而它们只能在特定条件下调用（比如窗口获得焦点、或者当前选中文本等）。 以下部分提供有关如何提供命令、快捷 阅读全文
posted @ 2022-07-27 11:53 theiaide 阅读(565) 评论(0) 推荐(0) 编辑
2022年7月26日
Theia 中的 TextMate 支持
摘要： TextMate 语法允许我们给源码着色，它只是在句法级别（没有语言深度理解）。 语义着色可以由语言服务器等提供。 TextMate 语法主要有两种格式：.plist 和 .tmLanguage.json，Theia 支持这两种格式。 您可以在此处阅读有关 TextMate 语法的更多信息：http 阅读全文
posted @ 2022-07-26 18:35 theiaide 阅读(217) 评论(0) 推荐(0) 编辑
创建 Theia 插件
摘要： 让我们创建我们的第一个 Theia 插件。例如，我们将注册一个显示通知“Hello world！”的命令 Hello World。本文将指导您完成所有必要的步骤。 Theia架构 插件与扩展Theia 是一个可扩展的 IDE。您可能已经听说过扩展是一种自定义 IDE 的方式。插件是最近添加到 The 阅读全文
posted @ 2022-07-26 15:47 theiaide 阅读(815) 评论(0) 推荐(0) 编辑
2022年7月19日
创建Theia 扩展
摘要： 例如，我们将添加一个菜单项 Say hello，它会显示通知“Hello world！”。本文将指导您完成所有必要的步骤。 Theia的架构 Theia 应用程序由扩展程序组成。扩展为特定功能提供一组小部件、命令、处理程序等。 Theia 本身提供了许多扩展，例如用于编辑器、终端、项目视图等。每个扩 阅读全文
posted @ 2022-07-19 22:12 theiaide 阅读(498) 评论(1) 推荐(0) 编辑