Support Remote Development

[delperugia]

Hi,

when editing a remote file using Remote Development (at least with WSL, SSH/container not tested), the bookmarks are not shown but navigation is working. The minimap shows them.

Tested with version 10.5.0 on two different computers. FYI: same problem exists with Numbered Bookmarks 6.2.1.

Attached a capture with two VSC, one connected to WSL (Ubuntu), the other local. Both editors with bookmarks set on lines 3 and 6.

Regards

vsc_version.txt

[alefragnani]

Hi @delperugia ,

Yes, the extensions (both) still does not fully support Remote Development. It’s on radar but no ETA yet.

Thank you for reporting.

[alefragnani]

I just noted that installing the extension on the remote (at least docker variation - devcontainer.json) the extension works.

But my intention is to bring Bookmarks to the Host, with no need to install on remote