Plugin

Incorpora un vero editor VSCode (code-server o VS Code desktop locale tramite l'estensione bridge inclusa) come scheda GUI: le modifiche ai file dell'agente aprono diff rosso/verdi per turno che persistono dopo la chiusura delle schede e il ricaricamento della pagina, i file si bloccano mentre l'agente scrive e un supervisore watchdog evita processi orfani.

Impacchetta e installa code-server (la versione web di VSCode) come plugin dentro dsh, così si può ottenere rapidamente un editing dei file professionale.