Plugins

Ergänzt im DSH-Workspace-Menü ⋯ einer Sitzung den Eintrag „Ordner öffnen“ und öffnet deren Arbeitsordner im Dateimanager des Host-Betriebssystems.

Behebt das Öffnen eines Windows-Workspace: Der mitgelieferte Opener startet `explorer.exe` mit `windowsHide`; dadurch bleibt das Explorer-Fenster unsichtbar, obwohl der Klick Erfolg meldet.

Behebt das Öffnen von Windows-Arbeitsbereichen. Der mitgelieferte Starter führt `explorer.exe "<file:// URI>"` aus, was auf manchen Hosts Erfolg meldet, ohne ein Fenster zu öffnen; der Exitcode unterscheidet das nicht. Nur diese Aktion wird auf `explorer.exe /e,<dir>` umgeleitet; alle anderen Menüanwendungen bleiben beim ursprünglichen Ablauf.