Add quotes to emphasize workspace name,

to avoid confusion when workspace is named with a word
jupyterlab · Mar 19, 2024 · f15ed80 · f15ed80
1 parent 2872d00
commit f15ed80
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/packages/workspaces-extension/src/commands.ts b/packages/workspaces-extension/src/commands.ts
@@ -191,7 +191,7 @@ export const commandsPlugin: JupyterFrontEndPlugin<IWorkspaceCommands> = {
         const result = await showDialog({
           title: trans.__('Delete workspace'),
           body: trans.__(
-            'Deleting workspace %1 will also delete its URL. A deleted workspace cannot be recovered.',
+            'Deleting workspace "%1" will also delete its URL. A deleted workspace cannot be recovered.',
             workspaceId
           ),
           buttons: [
@@ -418,7 +418,7 @@ export const commandsPlugin: JupyterFrontEndPlugin<IWorkspaceCommands> = {
           defaultPath: fileBrowser.model.path,
           manager: fileBrowser.model.manager,
           label: trans.__(
-            'The %1 workspace will be saved in the chosen directory as %1%2.',
+            'The "%1" workspace will be saved in the chosen directory as "%1%2".',
             workspaceId,
             WORKSPACE_EXT
           ),