Investigate bumping Theia dependency to 1.30.x

[per1234]

Describe the request

Investigate the updating the version of the @theia package dependencies used by Arduino IDE to 1.30.x

Bumping the Theia version is likely to cause regressions, subsequent code changes may be required. Therefore this initial investigation task is needed as the first "phase" of the work to actually update the dependency.

Expected outcome

A clear breakdown of the major regressions when bumping the Theia version in IDE 2.x to 1.30.x, and a general estimate of overhead to resolve them.

🙂 It will be more clear how much work will be required to accomplish the dependency update and what previously unrecognized complications might be encountered.

Describe the current behavior

Arduino IDE 2.x is built on the Eclipse Theia IDE framework.

The Theia version currently in use in the Arduino IDE project is 1.25.0. Eight releases of Theia have been made since that time, which include significant advancements and relevant bug fixes.

🙁 At present we have outstanding issues that don't make sense to investigate until we've updated Theia as related behavior may differ between versions.

Arduino IDE version

3a70547

Operating system

All

Operating system version

Any

Additional context

Issues that may be resolved by a 1.30.x bump:

• Missing translation in Theia's view-container context menu #1498
• Window title changes to "index.html" during reload #999

Issues that will only be resolved by a bump to >=1.31.0

• editor.hover.delay setting not used by new windows #571
• Some Theia settings have no effect, problematic decriptions, or are ignored on startup #1077 (partially resolved)
• Indentation guides are always visible #1613

Issue checklist

• I searched for previous requests in the issue tracker
• I verified the feature was still missing when using the latest nightly build
• My request contains all necessary details

[kittaakos]

@91volt, Theia 1.31.0 comes with changes to have better accessibility support. Here and there the Theia styles contradict IDE2 styles. In this comment, I will attach screenshots depicting which UI parts are affected. (I will periodically update the comment with new findings if any.)