diff --git a/src/sql/base/browser/ui/dropdownList/dropdownList.ts b/src/sql/base/browser/ui/dropdownList/dropdownList.ts index d14b4d18d3..7cbf58b839 100644 --- a/src/sql/base/browser/ui/dropdownList/dropdownList.ts +++ b/src/sql/base/browser/ui/dropdownList/dropdownList.ts @@ -79,7 +79,7 @@ export class Dropdown extends BaseDropdown { } } -export class DropdownList extends BaseDropdown { +export class DropdownList extends Dropdown { protected borderWidth = 1; private button?: Button; @@ -145,7 +145,7 @@ export class DropdownList extends BaseDropdown { /** * Render the dropdown contents */ - protected renderContents(container: HTMLElement): IDisposable | null { + protected override renderContents(container: HTMLElement): IDisposable | null { let div = DOM.append(container, this._contentContainer); div.style.width = (DOM.getTotalWidth(this.element) - this.borderWidth * 2) + 'px'; // Subtract border width return { dispose: () => { } };