eclipse-theia / theia

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
http://theia-ide.org
Eclipse Public License 2.0
19.38k stars 2.45k forks source link

Support `PluginExt#extensionKind` properly #13763

Closed msujew closed 1 week ago

msujew commented 1 month ago

What it does

Closes https://github.com/eclipse-theia/theia/issues/8871

Adds a new constant isRemote that identifies whether the backend lives on a remote system. We reuse this info to give the plugin host the correct information about the extensionKind property.

How to test

  1. Download and install this test plugin
  2. Start Theia in browser mode and run the Display Extension Kind command. Assert that it shows Workspace.
  3. Start Theia in Electron mode and run the same command. It shows UI.
  4. From the Electron mode connect to a remote machine via SSH (or the dev-container feature). Running the command should show Workspace.

Review checklist

Reminder for reviewers