# sprotty-theia **Repository Path**: mirrors_eclipse/sprotty-theia ## Basic Information - **Project Name**: sprotty-theia - **Description**: Integration of Sprotty diagrams into Theia IDE - **Primary Language**: Unknown - **License**: EPL-2.0 - **Default Branch**: master - **Homepage**: None - **GVP Project**: No ## Statistics - **Stars**: 0 - **Forks**: 0 - **Created**: 2020-08-22 - **Last Updated**: 2026-02-28 ## Categories & Tags **Categories**: Uncategorized **Tags**: None ## README # sprotty-theia Glue code for [Sprotty diagrams](https://github.com/eclipse/sprotty) in [Theia](https://theia-ide.org) as [Theia extensions](https://theia-ide.org/docs/authoring_extensions). If you want to connect your diagram with a language server, you should rather build a [VS Code extension](https://github.com/eclipse/sprotty-vscode). ## 🌏 Open in the Cloud Click any of the buttons below to start a new development environment to demo or contribute to the codebase without having to install anything on your machine: [![Open in VS Code](https://img.shields.io/badge/Open%20in-VS%20Code-blue?logo=visualstudiocode)](https://vscode.dev/github/eclipse/sprotty-theia) [![Open in Glitch](https://img.shields.io/badge/Open%20in-Glitch-blue?logo=glitch)](https://glitch.com/edit/#!/import/github/eclipse/sprotty-theia) [![Open in GitHub Codespaces](https://github.com/codespaces/badge.svg)](https://codespaces.new/eclipse/sprotty-theia) [![Edit in Codesandbox](https://codesandbox.io/static/img/play-codesandbox.svg)](https://codesandbox.io/s/github/eclipse/sprotty-theia) [![Open in StackBlitz](https://developer.stackblitz.com/img/open_in_stackblitz.svg)](https://stackblitz.com/github/eclipse/sprotty-theia) [![Open in Repl.it](https://replit.com/badge/github/withastro/astro)](https://replit.com/github/eclipse/sprotty-theia) [![Open in Codeanywhere](https://codeanywhere.com/img/open-in-codeanywhere-btn.svg)](https://app.codeanywhere.com/#https://github.com/eclipse/sprotty-theia) [![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/#https://github.com/eclipse/sprotty-theia) The project is built on [ci.eclipse.org/sprotty](https://ci.eclipse.org/sprotty/). Pre-built npm packages available from [npmjs](https://www.npmjs.com/package/sprotty-theia). The version history is documented in the [CHANGELOG](https://github.com/eclipse/sprotty-theia/blob/master/CHANGELOG.md). ### Version Compatibility | sprotty-theia | Theia | | ------------- | ------ | | upcoming | >=1.33.0| | 0.12.0 | >=1.18.0| | 0.11.0 | 1.18.0 | | 0.10.0 | 1.18.0 | | 0.9.0 | 1.4.0 | | 0.8.0 | 0.15.0 | | 0.7.0 | 0.11.0 | | 0.6.0 | 0.4.0 | ## See also - [sprotty](https://github.com/eclipse/sprotty) – the client part of the Sprotty framework. - [sprotty-vscode](https://github.com/eclipse/sprotty-vscode) – glue code for embedding Sprotty diagrams in VS Code - [sprotty-server](https://github.com/eclipse/sprotty-server) – libraries to implement Sprotty diagram servers in Java. Also covers add-in Sprotty diagram support to Xtext-based language servers. - [sprotty-layout](https://github.com/eclipse/sprotty-layout) – client-side diagram layout based on the Eclipse Layout Kernel. ## References - [DSL in the Cloud example](http://github.com/TypeFox/theia-xtext-sprotty-example) an example using Xtext, Theia and Sprotty to create a DSL workbench in the cloud.