Search results

@wiptheia/terminal

Theia - Terminal Extension

• theia-extension

florentbenoit

published 0.3.101529329103 • 6 years agopublished 0.3.101529329103 6 years ago

@devpodio/editorconfig

Theia - Editorconfig Extension

• theia-extension

devpodnpm

published 0.6.3 • 4 years agopublished 0.6.3 4 years ago

@devpodio/metrics

Theia - Metrics Extension

• theia-extension

devpodnpm

published 0.6.3 • 4 years agopublished 0.6.3 4 years ago

open-file-by-url-theia

• theia-extension

eren142

published 1.0.2 • 10 months agopublished 1.0.2 10 months ago

@tengen/navigator

Theia - Navigator Extension

• theia-extension

granty1

published 1.0.0 • 3 years agopublished 1.0.0 3 years ago

@wiptheia/metrics

Theia - Metrics Extension

• theia-extension

florentbenoit

published 0.3.101529329103 • 6 years agopublished 0.3.101529329103 6 years ago

@devpodio/plugin-ext-vscode

Theia - Plugin Extension for VsCode

• theia-extension

devpodnpm

published 0.6.3 • 4 years agopublished 0.6.3 4 years ago

@devpodio/debug-nodejs

Theia - NodeJS Debug Extension

• theia-extension
• debug
• nodejs

devpodnpm

published 0.6.3 • 4 years agopublished 0.6.3 4 years ago

@ivinokur/core

Theia is a cloud & desktop IDE framework implemented in TypeScript.

• theia-extension

ivinokur

published 1.13.0 • 3 years agopublished 1.13.0 3 years ago

@wiptheia/search-in-workspace

Theia - Search in workspace

• theia-extension

florentbenoit

published 0.3.101529329103 • 6 years agopublished 0.3.101529329103 6 years ago

@wiptheia/plugin-ext-vscode

Theia - Plugin Extension for VsCode

• theia-extension

florentbenoit

published 0.3.101529329103 • 6 years agopublished 0.3.101529329103 6 years ago

@quarks/theia-preferences

Theia - Preferences Extension

• theia-extension

ademar.carneiro

published 1.0.5 • 6 years agopublished 1.0.5 6 years ago

@quarks/theia-core

Theia is a cloud & desktop IDE framework implemented in TypeScript.

• theia-extension

ademar.carneiro

published 1.0.15 • 6 years agopublished 1.0.15 6 years ago

@devpodio/core

Theia is a cloud & desktop IDE framework implemented in TypeScript.

• theia-extension

devpodnpm

published 0.6.3 • 4 years agopublished 0.6.3 4 years ago

@quarks/theia-filesystem

Theia - FileSystem Extension

• theia-extension

ademar.carneiro

published 1.0.6 • 6 years agopublished 1.0.6 6 years ago

@codeanywhere/theia-plugin-ext

Theia - Plugin Extension

• theia-extension

codeanywhere

published 1.11.4 • 3 years agopublished 1.11.4 3 years ago

@wiptheia/core

Theia is a cloud & desktop IDE framework implemented in TypeScript.

• theia-extension

florentbenoit

published 0.3.101529329103 • 6 years agopublished 0.3.101529329103 6 years ago

@devpodio/filesystem

Theia - FileSystem Extension

• theia-extension

devpodnpm

published 0.6.3 • 4 years agopublished 0.6.3 4 years ago

xotm-new-theia-extension

The example extension demonstrates how to contribute a custom widget (i.e. a view or editor) to Eclipse Theia. Furthermore, the template contains an example unit test.

• theia-extension
• xotm-new-theia-extension
• xotm

xotm_ch

published 0.0.3 • 2 years agopublished 0.0.3 2 years ago

theia-julia-extension

An extension for the [Theia-IDE](https://github.com/theia-ide/theia) to support the [Julia Language](https://github.com/JuliaLang/julia), using the [Julia Language Server](https://github.com/JuliaEditorSupport/LanguageServer.jl).

• theia-extension

virtualgraham

published 0.0.2 • 5 years agopublished 0.0.2 5 years ago