Interface do usuário
As ferramentas de integração do produto, como editores, são descritas nesta seção.