Editor: bumped version for white-space pre-wrap