modify jedi setting