eclipse-theia / theia

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

fixed reload for remote feature and added option to the electron window to add change url on reload #13891

Closed jonah-iden closed 2 months ago

jonah-iden commented 3 months ago

What it does

This fixes the remote feature when connecting current window to remote instance. Had to add the option for the electron window reload to add a new url.

Fixes #13888

How to test

Best tested with dev containers. Simple file like this should be enough.

{
    "image": "mcr.microsoft.com/devcontainers/typescript-node:0-18",
    "forwardPorts": [3000]
}

"Reopen in Container" command should now again work as expected

Follow-ups

Review checklist

Reminder for reviewers