diff --git a/docs/developer_portal/extensions/development.md b/docs/developer_portal/extensions/development.md index 5c4abf7a5f1..e26c9b00e51 100644 --- a/docs/developer_portal/extensions/development.md +++ b/docs/developer_portal/extensions/development.md @@ -134,9 +134,9 @@ export const onDidChangeActivePanel: Event; export const onDidChangeTabTitle: Event; -export const onDidQueryRun: Event; +export const onDidQueryRun: Event; -export const onDidQueryStop: Event; +export const onDidQueryStop: Event; ``` The following code demonstrates more examples of the existing frontend APIs: @@ -150,16 +150,16 @@ export function activate(context) { const panelDisposable = core.registerView('my_extension.panel',