Also support (un)indenting in the HTML editor