Editando Arquivos Externamente

Para editar um arquivo do workbench de fora do workbench, siga estas etapas.

1.

Navegue no sistema de arquivos para o diretório de instalação do workbench. Vá para o diretório do workbench e abra o arquivo em um editor externo.

2.

Edite o arquivo, conforme necessário.

3.

Quando tiver concluído, salve o arquivo no editor externo e feche o editor normalmente.

4. No menu de contexto do Navegador, escolha Atualizar do Local. Isso instrui o workbench a verificar o sistema de arquivos local para obter quaisquer edições que possam ter sido feitas sem o seu conhecimento.

É importante utilizar a opção Atualizar do Local, pois se o workbench detectar alterações no sistema de arquivos local, ele executará quaisquer "construções/atualizações" necessárias para processar as alterações.