diff options
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 539e487ec..e436eefb9 100644 --- a/editors/code/src/client.ts +++ b/editors/code/src/client.ts | |||
@@ -11,7 +11,7 @@ export interface Env { | |||
11 | } | 11 | } |
12 | 12 | ||
13 | function renderCommand(cmd: ra.CommandLink) { | 13 | function renderCommand(cmd: ra.CommandLink) { |
14 | return `[${cmd.title}](command:${cmd.command}?${encodeURIComponent(JSON.stringify(cmd.arguments))} '${cmd.tooltip!}')`; | 14 | return `[${cmd.title}](command:${cmd.command}?${encodeURIComponent(JSON.stringify(cmd.arguments))} '${cmd.tooltip}')`; |
15 | } | 15 | } |
16 | 16 | ||
17 | function renderHoverActions(actions: ra.CommandLinkGroup[]): vscode.MarkdownString { | 17 | function renderHoverActions(actions: ra.CommandLinkGroup[]): vscode.MarkdownString { |