ckaczor/azuredatastudio
1
0
Fork 0
mirror of https://github.com/ckaczor/azuredatastudio.git synced 2026-01-13 17:22:15 -05:00
Code Issues Packages Projects Releases Wiki Activity

resize the tab panel when needed (#17262)

Browse Source
This commit is contained in:
Alan Ren
2021-10-05 09:47:47 -07:00
committed by GitHub
parent 51c41915a4
commit 390c4394f8
1 changed files with 15 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
src/sql/workbench/services/connection/browser/connectionDialogWidget.ts
View File

@@ -42,6 +42,7 @@ import { ITree } from 'vs/base/parts/tree/browser/tree';
import { AsyncServerTree } from 'sql/workbench/services/objectExplorer/browser/asyncServerTree';
import { IConfigurationService } from 'vs/platform/configuration/common/configuration';
import { ConnectionBrowseTab } from 'sql/workbench/services/connection/browser/connectionBrowseTab';
import { ElementSizeObserver } from 'vs/editor/browser/config/elementSizeObserver';
export interface OnShowUIResponse {
selectedProviderDisplayName: string;
@@ -97,6 +98,15 @@ export class ConnectionDialogWidget extends Modal {
private _connectionSource: ConnectionSource = 'manual';
/**
* The available size of the panel could change when:
* 1. a connection node is selected from recent/browse tab
* 2. the connection type is changed
* 3. the auth type is changed
* We need to react to the size change and properly layout the panel content.
*/
private _panelSizeObserver: ElementSizeObserver;
constructor(
private providerDisplayNameOptions: string[],
private selectedProviderType: string,
@@ -218,6 +228,11 @@ export class ConnectionDialogWidget extends Modal {
this._register(this._themeService.onDidColorThemeChange(e => this.updateTheme(e)));
this.updateTheme(this._themeService.getColorTheme());
this._panelSizeObserver = new ElementSizeObserver(this._panel.element, undefined, () => {
this._panel.layout(new DOM.Dimension(this._panel.element.clientWidth, this._panel.element.clientHeight));
});
this._register(this._panelSizeObserver);
this._panelSizeObserver.startObserving();
}
/**