[vscode] API gap: Theia master vs. VS Code 1.85.1

[rschnekenbu]

This bug tracks the differences between current master Theia VS Code API and VS Code 1.84.2:

Public APIs

• [vscode] API gap: Theia master vs. VS Code 1.84.2 #13143
• No new public APIs.
• [vscode] update Terminal.sendText(string, boolean?) parameter - parameter renaming  #13235

Declarative APIs

• No new public menu contribution points

Proposed API evolutions:

• [vscode] support proposed API multiDocumentHighlightProvider introduced with vscode 1.85 #13232
• [vscode] support proposed API scmInputBoxValueProvider introduced with vscode 1.85 #13233
• [vscode] improve proposed API terminalQuickFixProvider in vscode 1.85 (stub implementation) #13234 (improve the stubbed api)

Application management

• [vscode] bump API compatibility version to 1.85.1 #13231

[rschnekenbu]

Task complete, as all subtasks have been closed.