Tweak jedi settings