Editando Arquivos Fora do Workbench

Para editar um recurso do Workbench fora do Workbench:

  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 que deseja editar com o editor externo.
  2. Edite o arquivo, conforme necessário.Salve e feche-o como de costume.
  3. Importante: Volte para o Workbench, clique com o botão direito do mouse no arquivo editado em uma das visualizações de navegação e selecione Atualizar a partir do menu pop-up. O Workbench irá executar todas as operações de construção ou atualização necessárias, para processar as alterações feitas fora do Workbench.

Dica: Se você trabalhar com editores externos regularmente, poderá ativar a atualização automática. Isso pode ser feito, indo no diálogo Preferências (escolhendo o item de menu Janela >Preferências), expandindo para a página de preferências Geral > Espaço de Trabalho e selecionando a opção Atualizar Automaticamente. Quando essa opção é ativada, todas as alterações externas serão automaticamente descobertas pelo Workbench. Dependendo da plataforma, isso pode não acontecer imediatamente.

Conceitos relacionados
Editores
Editores externos

Tarefas Relacionadas
Abrindo arquivos para edição
Associando editores a tipos de arquivos