add jedi setting