Upgrade to Theia release v1.17.0
Done as for !10 (merged) with some scripted queries and manual editing, conforming to the Upgrade Wiki. Built in a chroot
by means of extra-x86_64-build
.
- Builtin plugin versions saturated at 1.50.0
- Leaving
vscode-builtin-markdown-language-features
at 1.39.2 because of bad experiences with upgrades in the past vscode-builtin-node-debug 1.44.28 -> 1.45.0
vscode-builtin-node-debug2 1.42.7 -> 1.43.0
vscode-editorconfig 0.16.5 -> 0.16.6
Not sure about the vscode-builtin-node-debug{,2}
upgrades.
Those are versioned separately, but still seem to follow VSCode development and therefore might use new APIs not found in Theia.
I am going to tentatively upgrade the *-node-debug*
plugins until
- version exceeds Theia compatibility limit (currently 1.50.0), or
- new startup errors occur, or
- users report broken functionality.
First impressions from the new version:
- Works for me, however:
- App start shows a selection screen instead of just opening latest project
- App start does remember recent projects, but does not restore window size
- Found no setting to change the above behavior
Ideas for refinement:
- Add some presumably compatible plugins from the
eclipse-theia.builtin-extension-pack
, e.g.vscode.php
vscode.php-language-features
-
vscode.theme-solarized-light
(we already have the-dark
variant)
- If so, augment my scripts from !8 (closed) to auto-insert those on every upgrade.