chore(deps): Updated to Theia `1.39.0`#2144

Merged

kittaakos merged 20 commits intomain from

app-packager

Aug 14, 2023

Merged

chore(deps): Updated to Theia `1.39.0` #2144
kittaakos merged 20 commits intomain from
app-packager

Commits

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Uh oh!

chore(deps): Updated to Theia `1.39.0`#2144

chore(deps): Updated to Theia `1.39.0` #2144
kittaakos merged 20 commits intomain from
app-packager

Commits

Commits on Jul 26, 2023

chore(deps): Updated to Theia `1.39.0`

Commits on Jul 30, 2023

fix: disable validation styles in dialog

fix: missing binary in backend application

fix(dev): faster build script

Commits on Jul 31, 2023

fix: revert `author` and `description` order

fix: force `'arduino-ide'` technical name

feat(ci)|: all in one build script

fic(ci): incorrect Node version?

fix: do not generate invalid nightly update site

Commits on Aug 1, 2023

fix: extra metadata is unavailable at webpack time

Commits on Aug 2, 2023

fix: can run app in dev mode

Commits on Aug 11, 2023

Update arduino-ide-extension/src/node/i18n/arduino-localization-contribution.ts

Update docs/development.md

Update docs/development.md

Update docs/development.md

Update docs/development.md

fix(doc): new section for running from source

fix(doc): review remarks

Commits on Aug 14, 2023

Update docs/development.md

Update docs/development.md

Uh oh!

chore(deps): Updated to Theia `1.39.0` #2144kittaakos merged 20 commits intomain arduino/arduino-ide:mainfrom app-packager arduino/arduino-ide:app-packagerCopy head branch name to clipboard

Commits

Commits on Jul 26, 2023

Commits on Jul 30, 2023

Commits on Jul 31, 2023

Commits on Aug 1, 2023

Commits on Aug 2, 2023

Commits on Aug 11, 2023

Commits on Aug 14, 2023

chore(deps): Updated to Theia `1.39.0` #2144
kittaakos merged 20 commits intomain from
app-packager