Merge claudedo/e3c29bf4538e491e9631ab80076b6fb4

2026-08-05 22:44:05 +02:00
parent 0ce5bad9c1 8c251c78b1
commit 23794ed21b
5 changed files with 147 additions and 4 deletions
@@ -314,7 +314,11 @@
      "empty": "No logs in the last 30 minutes.",
      "count": "{0} entries",
      "footerHint": "logs",
-      "openTooltip": "View recent worker logs"
+      "openTooltip": "View recent worker logs",
+      "copyLast": "Copy last 40",
+      "copyLastTooltip": "Copy the last 40 visible lines to the clipboard",
+      "copied": "{0} lines copied",
+      "copyFailed": "Copy failed"
    },
    "about": {
      "title": "ABOUT",