Skip to content

chore(deps): Updated to Theia 1.39.0 #2144

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 20 commits into from
Aug 14, 2023
Merged

chore(deps): Updated to Theia 1.39.0 #2144

Changes from 1 commit
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
e8a9ef7
chore(deps): Updated to Theia `1.39.0`
Jul 14, 2023
3529b14
fix: disable validation styles in dialog
Jul 30, 2023
129436b
fix: missing binary in backend application
Jul 30, 2023
dc8360b
fix(dev): faster build script
Jul 30, 2023
06113b6
fix: revert `author` and `description` order
Jul 31, 2023
e506b6f
fix: force `'arduino-ide'` technical name
Jul 31, 2023
09320d5
feat(ci)|: all in one build script
Jul 31, 2023
f7d56e5
fic(ci): incorrect Node version?
Jul 31, 2023
28bc470
fix: do not generate invalid nightly update site
Jul 31, 2023
75480bd
fix: extra metadata is unavailable at webpack time
Aug 1, 2023
f7cb8aa
fix: can run app in dev mode
Aug 2, 2023
697bc07
Update arduino-ide-extension/src/node/i18n/arduino-localization-contr…
kittaakos Aug 11, 2023
93a55cb
Update docs/development.md
kittaakos Aug 11, 2023
564024f
Update docs/development.md
kittaakos Aug 11, 2023
1d6c4ae
Update docs/development.md
kittaakos Aug 11, 2023
108bb94
Update docs/development.md
kittaakos Aug 11, 2023
7ead2d9
fix(doc): new section for running from source
Aug 11, 2023
920a4fc
fix(doc): review remarks
Aug 11, 2023
56feedb
Update docs/development.md
kittaakos Aug 14, 2023
c99a0cf
Update docs/development.md
kittaakos Aug 14, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Update docs/development.md 
Co-authored-by: per1234 <accounts@perglass.com>
  • Loading branch information
@kittaakos @per1234
kittaakos and per1234 authored Aug 11, 2023
commit 93a55cb4c12bef0e754dfaeb142256bc59aa55a7
2 changes: 1 addition & 1 deletion docs/development.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -57,7 +57,7 @@ Please refer to the [Theia IDE prerequisites](https://github.com/eclipse-theia/t

Once you have all the tools installed, you can build the editor following these steps

If you want to develop the application, do the followings:
If you want to develop the application, do the following:

1. Install the dependencies

Expand Down