back to auto-complete, change default theme to solarized-dark