Update input decoration on keybinding update (#128100)

This commit is contained in:
Joyce Er 2021-07-07 08:04:30 -07:00 committed by GitHub
parent 7d00e4e560
commit 45e0ff301b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -86,6 +86,7 @@ export class InteractiveEditor extends EditorPane {
this.#historyService = historyService;
codeEditorService.registerDecorationType('interactive-decoration', DECORATION_KEY, {});
this._register(this.#keybindingService.onDidUpdateKeybindings(this.#updateInputDecoration, this));
}
protected createEditor(parent: HTMLElement): void {