#theia

Theia APIs——通过JSON-RPC进行通信

上一篇:TheiaAPIs——事件  在本节中,我将讲解如何创建后端服务并通过JSON-PRC来连接它。  我将使用debugloggingsystem作为例子来进行讲解。概述  本示例将用express框架创建一个服务,然后通过websocket连接该服务。注册服务  首先要做的是将服务公开,...

Theia APIs——事件

上一篇:TheiaAPIs——Preferences  Theia中的事件或许会让你感到困惑,希望本节能阐述清楚。  来看下面的代码:(来自logger-watcher.ts)@injectable()exportclassLoggerWatcher{getLoggerClient():ILog...
代码星球 ·2020-09-24

Theia APIs——Preferences

上一篇:TheiaAPIs——命令和快捷键  Theia有一个preferenceservice,模块可以通过它来获取preference的值,提供默认的preferences以及监听preference的更改。  Preferences的内容可以保存在workspace根目录下的.theia/...
代码星球 ·2020-09-24

Theia APIs——命令和快捷键

上一篇:使用Theia——创建语言支持  Theia可以通过多种不同的方式进行扩展。命令允许packages提供可以被其它包调用的唯一命令,还可以向这些命令添加快捷键和上下文,使得它们只能在某些特定的条件下被调用(如窗口获取焦点、当前选项等)。在Theia中添加命令  要将命令添加到Theia,...
代码星球 ·2020-09-24

使用Theia——添加语言支持

上一篇:使用Theia——创建插件Theia中TextMate的支持  使用TextMate语法可以为大部分源文件提供精准的着色修饰,虽然这只是在语法级别上(没有语言本身的深度解析)。语义着色可以由语言服务器提供。  TextMate语法主要有两种格式:.plist和.tmLanguage.js...

使用Theia——创建插件

上一篇:使用Theia——创建扩展包  下面我们来看看如何创建Theia插件。作为示例,我们将注册一个HelloWorld命令,该命令显示一个“HelloWorld”通知。本文将指导你完成所有必要的步骤。Theia的架构插件与扩展包  Theia是一个可扩展的IDE。你可...
代码星球 ·2020-09-24

使用Theia——创建扩展包

上一篇:使用Theia——构建你自己的IDE  本例中,我们将添加一个菜单项“Sayhello”用来显示一个通知“Helloworld!”。本文将指导你完成所有必要的步骤。Theia的架构  Theia应用程序由所谓的扩展包(extensions)...
代码星球 ·2020-09-24

Theia架构

上一篇:Theia——云端和桌面版的IDE  本节描述了Theia的整体架构。  Theia被设计为一个可以在本地运行的桌面应用程序,也可以在浏览器和远程服务器之间工作。为了支持这两种工作方式,Theia运行在两个独立的进程中,它们被称之为前端和后端,相互之间通过WebSockets上的JSON...
代码星球 ·2020-09-24

Theia——云端和桌面版的IDE

  Theia是一个利用最新的web技术开发的支持云端和桌面运行的类似IDE的产品,它是一个可扩展的平台,并且全面支持多语言。建立一个可搭建类似IDE产品的平台为终端用户提供完整的多语言IDE(不仅仅是智能编辑器)同时支持云端IDE和桌面版IDE通过language和debugserver协议提供多语言支持使用Java...
代码星球 ·2020-09-24

使用Theia——构建你自己的IDE

上一篇:Theia架构  本指南将教你如何构建你自己的Theia应用。必要条件  你需要安装node10版本(译者:事实上最新的node稳定版即可):curl-o-https://raw.githubusercontent.com/creationix/nvm/v0.33.5/install.sh|bashnvmins...