Eclipse Theia v1.72.2

Based on https://github.com/eclipse-theia/theia/tree/v1.72.2

Includes the following fixes:

• cd2b067
• c7cd6ac
• d92a4a6
• 17b88a2
• bd6355c
• 4690897
• 56185e1
• a827989

Full Changelog: v1.72.1...v1.72.2

Native Dependencies - Next (2026-06-05)

Automated next build of native dependencies from master (commit 20335bd3c402d6b5e0f40890ede8ab7c2ae0b909, 2026-06-05 00:58 UTC).

Eclipse Theia v1.72.1

Based on https://github.com/eclipse-theia/theia/tree/v1.72.1

Includes the following fixes:

• 98c4002

Full Changelog: v1.72.0...v1.72.1

Eclipse Theia v1.72.0

What's Changed

• Release Notes
• Breaking Changes

Contributors

@cdamus, @colin-grant-work, @eneufeld, @Fangoling, @jfaltermeier, @jonahgraham, @JonasHelming, @lucas-koehler, @martin-fleck-at, @msujew, @ndoschek, @pisv, @RomanPiperMVTec, @safisa, @sdirix, @sgraband

Full Changelog: v1.71.0...v1.72.0

Eclipse Theia v1.71.2

Based on https://github.com/eclipse-theia/theia/tree/v1.71.2

Includes the following fixes:

• cab7009
  • [1.71.x backport] fix(native-webpack-plugin): support @vscode/ripgrep >= 1.18.0 in #17561
  • Notes: The minimum required @vscode/ripgrep is now ^1.18.0. Fresh installs already resolved to 1.18.0 via semver, so most consumers are unaffected. Anyone pinning 1.17.x via yarn resolutions / npm overrides will need to update.

Full Changelog: v1.71.0...v1.71.1

Eclipse Theia v1.71.1

Based on https://github.com/eclipse-theia/theia/tree/v1.71.1

Includes the following fixes:

• 4d2486f

Full Changelog: v1.71.0...v1.71.1

Eclipse Theia v1.71.0

What's Changed

• Release Notes
• Breaking Changes

Contributors

@CamilleLetavernier, @cdamus, @colin-grant-work, @eneufeld, @Hanksha, @jfaltermeier, @jonah-iden, @JonasHelming, @msujew, @ndoschek, @pisv, @safisa, @sdirix, @sgraband

Full Changelog: v1.70.0...v1.71.0

Eclipse Theia v1.70.2

Based on https://github.com/eclipse-theia/theia/tree/v1.70.2

Includes the following fixes:

• 6476bcd

Full Changelog: v1.70.1...v1.70.2

Eclipse Theia v1.70.1

Based on https://github.com/eclipse-theia/theia/tree/v1.70.1

Includes the following fixes:

• 5d18355
• 8b1f84c
• 245824b
• b99250d
• 8ec7080
• 2f1286a
• 2554837
• d1f15eb
• 64cacb0
• 49f9e7b
• 270256d
• d98f3d2
• a4bae02
• 976da09
• c02086d

Full Changelog: v1.70.0...v1.70.1

Eclipse Theia v1.70.0

What's Changed

• Release Notes
• Breaking Changes

Contributors

@ankitsharma101, @cdamus, @colin-grant-work, @eneufeld, @Fangoling, @fipro78, @HolgerJeromin, @jfaltermeier, @jonah-iden, @JonasHelming, @lucas-koehler, @lukaskratzel, @martin-fleck-at, @misakajimmy, @msujew, @ndoschek, @planger, @rajj28, @safisa, @sdirix, @sgraband, @tsmaeder

New Contributors

• @HolgerJeromin made their first contribution in #17117
• @rajj28 made their first contribution in #16963
• @lemanschik made their first contribution in #16053
• @lukaskratzel made their first contribution in #17106

Full Changelog: v1.69.0...v1.70.0