4 ms·There's actually a setting.json key to not have to put the optionby allan_s 3mo agoThere's actually a setting.json key to not have to put the option