change jedi settings