I had naïvely assumed that the onDidChangeConfiguration listener would only listen to events to this extensions config, but I noticed when testing that it fires for everything, so it would ask to reload the editor if I change the colour theme.
Since I'm now responding to changes to specific config values, it only asks to restart if it has to, i.e. if it needs to restart the Idris process.
I had naïvely assumed that the
onDidChangeConfigurationlistener would only listen to events to this extensions config, but I noticed when testing that it fires for everything, so it would ask to reload the editor if I change the colour theme.Since I'm now responding to changes to specific config values, it only asks to restart if it has to, i.e. if it needs to restart the Idris process.