Refreshes the environment after running a query. This doesn't add a refresh button or anything, we can do that later.
This also depends on a change from core to add fauna/refresh to the language server. After reading through the language server spec, generally things are prefixed with a namespace, a slash, and then a command name. So for example, updating a document sends textDocument/didChange. I think it makes sense to put our custom messages under a fauna/ prefix, so I also moved the config to fauna/setConfig.
ENG-5296
Refreshes the environment after running a query. This doesn't add a refresh button or anything, we can do that later.
This also depends on a change from core to add
fauna/refresh
to the language server. After reading through the language server spec, generally things are prefixed with a namespace, a slash, and then a command name. So for example, updating a document sendstextDocument/didChange
. I think it makes sense to put our custom messages under afauna/
prefix, so I also moved the config tofauna/setConfig
.