Rebuild on editor focus

Question

Rebuild on editor focus

artemisSystem opened this issue 4 years ago · comments

Currently, the ide only rebuilds when a file is saved. It would be nice to also have it rebuild when an editor/file is focused

Nicholas Wolverson · Answer 1 · Thu Jul 23 2020 07:54:22 GMT+0800 (China Standard Time)

See also nwolverson/purescript-language-server#53

Nicholas Wolverson · Answer 2 · Mon Oct 19 2020 17:49:51 GMT+0800 (China Standard Time)

The language server protocol doesn't seem to provide notification of this event, even if we were able to do the rebuild (though maybe vscode extensions do)