Update jedi settings