ZSH: better handling of prompt colors
ZSH: set editor correctly