Bump API version to 1.80.0

[tsmaeder]

Contributed on behalf of ST Microelectronics

What it does

fixes #12865

How to test

Make sure the system starts and built-ins work as expected

Review checklist

• As an author, I have thoroughly tested my changes and carefully followed the review guidelines

Reminder for reviewers

• As a reviewer, I agree to behave in accordance with the review guidelines

[jfaltermeier]

I did a short check with the 1.79 built-ins.
The only thing I noticed is that the toolbar for markdown files shows two "Open Preview to the side" items, one of them showing the shortcut as well. But it looks like this was reproducible for 1.40 as well. Is this known already?
Otherwise I also installed the vsix-es from the PRs for the new VSCode API and those work as well.

[tsmaeder]

Otherwise I also installed the vsix-es from the PRs for the new VSCode API and those work as well.

which PR is that?

[tsmaeder]

The only thing I noticed is that the toolbar for markdown files shows two "Open Preview to the side" items, one of them showing the shortcut as well. But it looks like this was reproducible for 1.40 as well. Is this known already?

🤷

[msujew]

The only thing I noticed is that the toolbar for markdown files shows two "Open Preview to the side" items, one of them showing the shortcut as well. But it looks like this was reproducible for 1.40 as well. Is this known already?

@jfaltermeier I believe it's expected, since we have a preview command for markdown files in @theia/preview and a command contributed by the builtin markdown vscode extension. Both use the same codicon icon, so they appear as duplicates (but they are not the same!).

[jfaltermeier]

Otherwise I also installed the vsix-es from the PRs for the new VSCode API and those work as well.

which PR is that?

Taken from the linked issues here #12694 the PRs are
#12836
#12838

[vince-fugnitto]

LGTM 👍