Skip to content

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.

Merge request reports