Andy

Thanks for suggestions, I tried to add it to settings.json but it does not change a thing. Besides I suspect turning it off will flag a lot of variable name,...