Plugins

Ajoute « Ouvrir le dossier » au menu ⋯ d’une session dans la barre latérale DSH et ouvre son dossier de travail avec le gestionnaire de fichiers du système.

Corrige l’ouverture du workspace Windows : l’opener fourni lance `explorer.exe` avec `windowsHide`; la fenêtre de l’Explorateur est donc créée invisible et le clic signale une réussite sans l’afficher.

Corrige l’ouverture d’un workspace sous Windows. L’outil fourni lance `explorer.exe "<file:// URI>"`, qui peut signaler un succès sans fenêtre sur certains hôtes ; le code de sortie ne permet pas de le savoir. Seule cette action passe à `explorer.exe /e,<dir>` pour ouvrir la fenêtre de façon fiable ; les autres applications du menu gardent le chemin fourni.