6 Commits

Author	SHA1	Message	Date
Akos Kitta	9a6a457bc4	chore(deps): Updated to Theia 1.39.0 (#2144) ... - update Theia to `1.39.0`, - remove the application packager and fix the security vulnerabilities, - bundle the backed application with `webpack`, and - enhance the developer docs. Co-authored-by: Akos Kitta <a.kitta@arduino.cc> Co-authored-by: per1234 <accounts@perglass.com> Signed-off-by: Akos Kitta <a.kitta@arduino.cc>	2023-08-14 12:12:05 +02:00
Akos Kitta	ac9cce16f7	chore: Updated to Theia 1.31.1 (#1662) ... Closes #1655 Closes #1656 Signed-off-by: Akos Kitta <a.kitta@arduino.cc>	2022-11-29 09:39:54 +01:00
Alberto Iannaccone	6f07717369	Dialog focus (#1472) ... * focus on dialog controls when is open * fix "Configure and Upload" label * fix focus on user fields	2022-09-29 15:16:28 +02:00
Akos Kitta	4c55807392	Speed up IDE startup time. ... Signed-off-by: Akos Kitta <a.kitta@arduino.cc>	2022-06-07 13:46:29 +02:00
Mark Sujew	1ae60ec9bc	Updated Theia to 1.25.0 ... Co-authored-by: Mark Sujew <mark.sujew@typefox.io> Co-authored-by: Akos Kitta <a.kitta@arduino.cc> Signed-off-by: Akos Kitta <a.kitta@arduino.cc>	2022-05-25 10:05:20 +02:00
Silvano Cerza	a090dfe99c	Add dialog to insert user fields for board that require them to upload (#550) ... * Rebuild gRPC protocol interfaces * Implement methods to get user fields for board/port combination * Implement dialog to input board user fields * Add configure and upload step when uploading to board requiring user fields * Disable Sketch > Configure and Upload menu if board doesn't support user fields * Fix serial upload not working with all boards * Update i18n source file * fix user fields UI * regenerate cli protocol * fix localisation * check if user fields are empty Co-authored-by: Alberto Iannaccone <a.iannaccone@arduino.cc>	2021-11-25 18:22:51 +01:00