feat(app): copy terminal IDs from tab menus (#2371)

2026-07-24 15:12:29 +02:00
parent 21404fbdec
commit 7250009ab7
14 changed files with 148 additions and 7 deletions
@@ -496,6 +496,7 @@ export const fr: TranslationResources = {
        openFor: "Ouvrir le menu pour{{label}}",
        copyResumeCommand: "Copier la commande de reprise",
        copyAgentId: "Copier l'identifiant de l'agent",
+        copyTerminalId: "Copier l'identifiant du terminal",
        copyFilePath: "Copy file path",
        rename: "Rebaptiser",
        closeAbove: "Fermer les onglets ci-dessus",
@@ -534,6 +535,7 @@ export const fr: TranslationResources = {
      toasts: {
        copyFailed: "Échec de la copie",
        agentIdCopiedLabel: "AgentID",
+        terminalIdCopiedLabel: "Identifiant du terminal",
        resumeCommandCopiedLabel: "reprendre la commande",
        filePathCopiedLabel: "File path",
        resumeIdUnavailable: "ReprendreIDnon disponible",