added dedicated HTML editor and tab switching