¿Qué es?
El botón HTML del editor
muestra una ventana en la que podremos ver el código y editarlo. Podemos usar algunas opciones para la visualilzación y utilizar las funcionalidades de Buscar y reemplazar y Reformatear.

Si prefieres un editor de HTML sencillo, puedes ir a Utilidades > Editar el código fuente.