From ef640381071ce02fb50b196ed2e8451d4a1c14eb Mon Sep 17 00:00:00 2001 From: Aditya Bist Date: Thu, 24 Jan 2019 13:31:19 -0800 Subject: [PATCH] Added horizontal scrolling for explorer (#3819) * added horizontal scrolling for explorer * made horizontal scrolling auto --- .../dashboard/widgets/explorer/explorerWidget.component.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/sql/parts/dashboard/widgets/explorer/explorerWidget.component.ts b/src/sql/parts/dashboard/widgets/explorer/explorerWidget.component.ts index a2b44c019b..4036125278 100644 --- a/src/sql/parts/dashboard/widgets/explorer/explorerWidget.component.ts +++ b/src/sql/parts/dashboard/widgets/explorer/explorerWidget.component.ts @@ -29,6 +29,7 @@ import { IWorkbenchThemeService } from 'vs/workbench/services/themes/common/work import { IInstantiationService } from 'vs/platform/instantiation/common/instantiation'; import { IProgressService } from 'vs/platform/progress/common/progress'; import * as types from 'vs/base/common/types'; +import { ScrollbarVisibility } from 'vs/base/common/scrollable'; @Component({ selector: 'explorer-widget', @@ -94,7 +95,7 @@ export class ExplorerWidget extends DashboardWidget implements IDashboardWidget, dataSource: this._treeDataSource, filter: this._treeFilter, renderer: this._treeRenderer - }); + }, { horizontalScrollMode: ScrollbarVisibility.Auto }); this._tree.layout(getContentHeight(this._tableContainer.nativeElement)); this._register(this._input); this._register(attachInputBoxStyler(this._input, this.themeService));