Files

theia

This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Mar 19, 2025

e5396c3 · Mar 19, 2025

Name	Name	Last commit message	Last commit date
parent directory ..
core	core	feat: use Arduino CLI `0.36.0-rc.1` APIs	Feb 20, 2024
debug	debug	fix: debug widget layout updates	Feb 8, 2024
dialogs	dialogs	fix: debug widget layout updates	Feb 8, 2024
editor	editor	feat: rename, deletion, and validation support	Feb 15, 2023
filesystem	filesystem	fix: do not enqueue write operations on conflict	May 11, 2023
keymaps	keymaps	Speed up IDE startup time.	Jun 7, 2022
markers	markers	chore: updated to Theia `1.37.0`	May 9, 2023
messages	messages	fix: sanitize messages in notification component	Mar 19, 2025
monaco	monaco	feat: use new `debug -I -P` CLI output	Dec 13, 2023
navigator	navigator	chore: format resources 💄	Sep 26, 2023
outline	outline	Speed up IDE startup time.	Jun 7, 2022
output	output	chore: format resources 💄	Sep 26, 2023
plugin-ext	plugin-ext	fix: align `viewsWelcome` behavior to VS Code (#2543 )	Nov 21, 2024
preferences	preferences	chore(deps): Updated to Theia `1.39.0` (#2144 )	Aug 14, 2023
scm	scm	chore: format resources 💄	Sep 26, 2023
search-in-workspace	search-in-workspace	Fixed missing translations	Sep 26, 2022
terminal	terminal	chore(deps): Updated to Theia `1.39.0` (#2144 )	Aug 14, 2023
typehierarchy	typehierarchy	chore: Updated to Theia `1.31.1` (#1662 )	Nov 29, 2022
workspace	workspace	chore(deps): update dependencies	Oct 13, 2023