add jedi settings