Descrição
Plugins do editor Pragtical podem ser instalados e mantidos por um gerenciador dedicado de plugins. Esta ferramenta é útil para desenvolvedores que ampliam o editor com recursos adicionais. Plugins executam dentro do ambiente do editor, então fontes dos plugins e ações de atualização devem ser confiáveis.