update jedi settings