Marc Huisinga

fix: language server windows issues

2

This PR resolves two language server bugs that especially affect Windows users: 1. Editing the header could result in the watchdog not correctly restarting the file worker (#3786, #3787), which...

When embedding doc-gen4 in a VS Code webview and clicking links in an iframe, the webview does not navigate to the given location: > Unsafe attempt to initiate navigation for...

Typing `\to\to` will yield `→\to` instead of `→→` in the LoogleView.

### Description #2462 added support for renaming, but the current implementation does not correctly deal with namespaces: ``` namespace Bar structure Foo where a : Nat def foobar (f :...