From 6be2cc92ffa7867cae8f2424de2f7ab75475ed8c Mon Sep 17 00:00:00 2001 From: Johannes Rieken Date: Wed, 15 Aug 2018 11:18:10 +0200 Subject: [PATCH] make breadcrumbs picker wider, #56318 --- src/vs/workbench/browser/parts/editor/breadcrumbsControl.ts | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/vs/workbench/browser/parts/editor/breadcrumbsControl.ts b/src/vs/workbench/browser/parts/editor/breadcrumbsControl.ts index ad040a10a27..4d763cfcced 100644 --- a/src/vs/workbench/browser/parts/editor/breadcrumbsControl.ts +++ b/src/vs/workbench/browser/parts/editor/breadcrumbsControl.ts @@ -137,6 +137,7 @@ export class BreadcrumbsControl { readonly domNode: HTMLDivElement; private readonly _widget: BreadcrumbsWidget; + private _dimension: dom.Dimension; private _disposables = new Array(); private _breadcrumbsDisposables = new Array(); @@ -187,6 +188,7 @@ export class BreadcrumbsControl { } layout(dim: dom.Dimension): void { + this._dimension = dim; this._widget.layout(dim); } @@ -288,10 +290,10 @@ export class BreadcrumbsControl { return combinedDisposable([listener, picker]); }, - getAnchor() { + getAnchor: () => { let pickerHeight = 330; - let pickerWidth = Math.max(220, dom.getTotalWidth(event.node)); + let pickerWidth = Math.max(this._dimension.width * 0.38, dom.getTotalWidth(event.node)); let pickerArrowSize = 8; let pickerArrowOffset: number; -- GitLab