The extension does currently not reload extension after settings.json manual file edit.
Proposal
Reload extension after settings.json manual file edit but don't conflict with the settings updating behavior done from the settings component. Implement a check whether the file got edited manually or from within the settings component.
Context
The extension does currently not reload extension after settings.json manual file edit.
Proposal
Reload extension after settings.json manual file edit but don't conflict with the settings updating behavior done from the settings component. Implement a check whether the file got edited manually or from within the settings component.