For me the savest way of setting configuration was always the global settings file reachable via the menu button on the bottom left.
I think we have some caching problems sometimes, since this problem occurs regularly.
But the settings are implemented completely native in our extension and we don’t have any influence in which setting Variant is taken. That should be handled via Vscode.
So I would suggest to try editing the global settings.