Plugins

Bindet einen echten VSCode-Editor (code-server oder Ihr lokales Desktop-VS Code über die mitgelieferte Bridge-Erweiterung) als GUI-Tab ein: Agent-Dateiänderungen öffnen rundenbezogene Rot/Grün-Diffs, die Tab-Schließungen und Seitenneuladungen überstehen; Dateien werden gesperrt, während der Agent schreibt, und ein Watchdog-Supervisor verhindert verwaiste Prozesse.

Verpackt code-server (die Webversion von VSCode) und installiert es als Plugin innerhalb von dsh, um schnell professionelles Bearbeiten von Dateien zu erreichen.