Some NERDTree options