Feature/schema compare: refactor options dialog (from checkbox list to table) (#5608)

* Adding code to change checkbox list to table with checkbox.

* removing some unnessary ','

* Increasing the table a little bit

* reverting height changes

* Adding PR comments

src/sql/base/browser/ui/table/plugins/checkboxSelectColumn.plugin.ts

@@ -12,6 +12,7 @@ import { range } from 'vs/base/common/arrays';
 export interface ICheckboxSelectColumnOptions extends Slick.PluginOptions, ICheckboxStyles {
 	columnId?: string;
 	cssClass?: string;
+	headerCssClass?: string;
 	toolTip?: string;
 	width?: number;
 	title?: string;
@@ -34,6 +35,7 @@ export interface ICheckboxCellActionEventArgs {
 const defaultOptions: ICheckboxSelectColumnOptions = {
 	columnId: '_checkbox_selector',
 	cssClass: undefined,
+	headerCssClass: undefined,
 	toolTip: nls.localize('selectDeselectAll', 'Select/Deselect All'),
 	width: 30
 };
@@ -228,6 +230,7 @@ export class CheckboxSelectColumn<T> implements Slick.Plugin<T> {
 			resizable: false,
 			sortable: false,
 			cssClass: this._options.cssClass,
+			headerCssClass: this._options.headerCssClass,
 			formatter: (r, c, v, cd, dc) => this.checkboxSelectionFormatter(r, c, v, cd, dc)
 		};
 	}