Alberto Iannaccone
Alberto Iannaccone
> we will definitely have to deal with the problem of 90% of Theia not being translated. This would be true only during the loading time, right? But yes, I...
@msujew I see. Thanks for the tip, I think I've found a better solution [here](https://github.com/arduino/arduino-ide/pull/1261/files#diff-19d891f1ffb8ce2979b6bee0d166700e20a6b965d1be5f72b3e331d0442eba35) if you like it, I'd gladly update this PR with that code.
> You'll have to create a dedicated override in the plugin-ext package for the LocalizationBackendContribution and bind it there. @msujew I'm not sure how to proceed here. Could you please...
> Are you sure you did it with the mail that's in the commit? It doesn't seem to validate. Yes, I'm sure about it because I received the confirmation e-mail...
@msujew thanks for the feedback. In the last commit I've made some changes according to your requests 👍
Hi @msujew, thanks for the review. Sorry for the delay in answering, I must have missed the notification 🙏 I will address your remarks soon.
Blocked by: https://github.com/arduino/arduino-cli/issues/1834
I've put the PR back in draft because I've decreased the IDE version for testing purposes: https://github.com/arduino/arduino-ide/pull/1311/commits/26cbba6cd6ce3bdeda3f125729e203bbd8e67d00 UPDATE: changes are reverted, PR is ready
@per1234 it appears to me that the order of the boards defined in the [boards.txt configuration file](https://arduino.github.io/arduino-cli/dev/platform-specification/#boardstxt) is the same as the order defined in the [package index](https://arduino.github.io/arduino-cli/dev/package_index_json-specification/#platforms-definitions). Can you...