El botón HTML del editor muestra una ventana en la que hemos añadido nuevas funcionalidades. Podremos ver el código resaltado, con autocomplección, mejoras en la visualización del código HTML y la incorporación de la opción "buscar y reemplazar".
Si prefieres un editor de HTML sencillo, puedes ir a Utilidades - Editar el código fuente.