From d281ec9d1665d175e3b62c822754e5b60b3755f5 Mon Sep 17 00:00:00 2001 From: Alan Ren Date: Tue, 24 Aug 2021 12:03:25 -0700 Subject: [PATCH] add default value for options (#16873) --- .../base/browser/ui/table/plugins/headerFilter.plugin.ts | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/sql/base/browser/ui/table/plugins/headerFilter.plugin.ts b/src/sql/base/browser/ui/table/plugins/headerFilter.plugin.ts index beed3fe37d..10c1e87afc 100644 --- a/src/sql/base/browser/ui/table/plugins/headerFilter.plugin.ts +++ b/src/sql/base/browser/ui/table/plugins/headerFilter.plugin.ts @@ -41,6 +41,10 @@ export interface ITableFilterOptions { refreshColumns?: boolean; } +const DefaultTableFilterOptions: ITableFilterOptions = { + refreshColumns: true +}; + export interface ITableFilterStyles extends IButtonStyles, IInputBoxStyles, IListStyles, ICountBadgetyles { } @@ -81,7 +85,7 @@ export class HeaderFilter { private columnButtonMapping: Map = new Map(); private previouslyFocusedElement: HTMLElement; - constructor(private readonly contextViewProvider: IContextViewProvider, private readonly notificationProvider?: NotificationProvider, private readonly options?: ITableFilterOptions) { + constructor(private readonly contextViewProvider: IContextViewProvider, private readonly notificationProvider?: NotificationProvider, private readonly options: ITableFilterOptions = DefaultTableFilterOptions) { } public init(grid: Slick.Grid): void {