From 6bc4dbbe99b9b86e2572247c351973f8ef078c3d Mon Sep 17 00:00:00 2001 From: Laurens Valk Date: Thu, 15 Dec 2022 20:41:30 +0100 Subject: [PATCH] toolbar/buttons: Copy edit. --- src/toolbar/buttons/repl/translations/en.json | 2 +- src/toolbar/buttons/run/translations/en.json | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/toolbar/buttons/repl/translations/en.json b/src/toolbar/buttons/repl/translations/en.json index 442bb175..6f9c7ec4 100644 --- a/src/toolbar/buttons/repl/translations/en.json +++ b/src/toolbar/buttons/repl/translations/en.json @@ -1,4 +1,4 @@ { "label": "REPL", - "tooltip": "Start REPL in terminal" + "tooltip": "Code interactively in the terminal (REPL)" } diff --git a/src/toolbar/buttons/run/translations/en.json b/src/toolbar/buttons/run/translations/en.json index baf7aa07..5500ca35 100644 --- a/src/toolbar/buttons/run/translations/en.json +++ b/src/toolbar/buttons/run/translations/en.json @@ -1,7 +1,7 @@ { "label": "Run", "tooltip": { - "action": "Download and run this program ({key})", + "action": "Run this program ({key})", "progress": "Downloading… {percent}" } }