@pavelfeldman what is the exact use case? Why is regular VS Code API for opening files and revealing some line not sufficient?
@pavelfeldman what is the exact use case?
Why is regular VS Code API for opening files and revealing some line not sufficient?