Handle Multiple Open Frege Files and its Globals

tricktron / frege-lsp-server

Frege Language Server Using the Language Server Protocol

MIT License

1 stars 0 forks source link

Closed tricktron closed 2 years ago

tricktron commented 2 years ago

Currently only one global of the currently open file is supported. This does not work well with multiple files open at the same time.

Introduce a mapping: textURI -> global

and get the global from there.