Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/src/client.ts')
| -rw-r--r-- | editors/code/src/client.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/client.ts b/editors/code/src/client.ts index 372dc8bedf..f679c88398 100644 --- a/editors/code/src/client.ts +++ b/editors/code/src/client.ts @@ -63,7 +63,7 @@ function renderHoverActions(actions: ra.CommandLinkGroup[]): vscode.MarkdownStri (group.title ? group.title + " " : "") + group.commands.map(renderCommand).join(" | "), ) - .join("___"); + .join(" | "); const result = new vscode.MarkdownString(text); result.isTrusted = true; |