Jedi settings
Replace nerdtree