Microsoft/vscode
1
0
Fork 0
mirror of https://github.com/microsoft/vscode.git synced 2026-05-25 17:57:50 +01:00
Code Issues Packages Projects Releases Wiki Activity

get button to stay on the page

Browse Source
This commit is contained in:
meganrogge
2021-04-13 12:20:48 -07:00
parent abf4835fd2
commit 71230441fa
3 changed files with 16 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/vs/workbench/contrib/terminal/browser/media/terminal.css
+6
View File
@@ -200,6 +200,12 @@
#terminal-tabs-plus-button {
padding-left: 10px;
min-height: 10;
flex-grow: 0;
}
.tabs-container {
display: flex;
flex-direction: column;
}
.tabs-widget .terminal-tabs-entry {
src/vs/workbench/contrib/terminal/browser/terminalTabbedView.ts
+9 -4
View File
@@ -42,6 +42,7 @@ export class TerminalTabbedView extends Disposable {
private _terminalContainer: HTMLElement;
private _terminalTabTree: HTMLElement;
private _parentElement: HTMLElement;
private _tabTreeContainer: HTMLElement;
private _tabsWidget: TerminalTabsWidget;
private _findWidget: TerminalFindWidget;
@@ -82,8 +83,11 @@ export class TerminalTabbedView extends Disposable {
this._parentElement = parentElement;
this._tabTreeContainer = document.createElement('div');
this._tabTreeContainer.classList.add('tabs-container');
this._terminalTabTree = document.createElement('div');
this._terminalTabTree.classList.add('tabs-widget');
this._tabTreeContainer.appendChild(this._terminalTabTree);
this._instanceMenu = this._register(menuService.createMenu(MenuId.TerminalContext, contextKeyService));
this._tabsMenu = this._register(menuService.createMenu(MenuId.TerminalTabsContext, contextKeyService));
@@ -113,7 +117,7 @@ export class TerminalTabbedView extends Disposable {
} else {
this._splitView.removeView(this._tabTreeIndex);
if (this._plusButton) {
this._terminalTabTree.removeChild(this._plusButton);
this._tabTreeContainer.removeChild(this._plusButton);
}
}
} else if (e.affectsConfiguration('terminal.integrated.tabsLocation')) {
@@ -184,8 +188,8 @@ export class TerminalTabbedView extends Disposable {
private _addTabTree() {
this._splitView.addView({
element: this._terminalTabTree,
layout: width => this._tabsWidget.layout(this._height ? this._height - this._terminalTabTree.clientHeight : undefined, width),
element: this._tabTreeContainer,
layout: width => this._tabsWidget.layout(this._height ? this._height - 22 : 0, width),
minimumSize: MIN_TABS_WIDGET_WIDTH,
maximumSize: Number.POSITIVE_INFINITY,
onDidChange: () => Disposable.None,
@@ -198,6 +202,7 @@ export class TerminalTabbedView extends Disposable {
this._height = height;
this._width = width;
this._splitView.layout(width);
this._tabsWidget.getHTMLElement().style.zIndex = `10`;
if (this._showTabs) {
this._splitView.resizeView(this._tabTreeIndex, this._getLastWidgetWidth());
}
@@ -211,7 +216,7 @@ export class TerminalTabbedView extends Disposable {
dom.EventHelper.stop(e);
await this._openTabsContextMenu(e);
}));
this._terminalTabTree.append(button);
this._tabTreeContainer.appendChild(button);
this._plusButton = button;
}
src/vs/workbench/contrib/terminal/browser/terminalTabsWidget.ts
+1 -1
View File
@@ -51,7 +51,7 @@ export class TerminalTabsWidget extends WorkbenchObjectTree<ITabTreeNode> {
[_instantiationService.createInstance(TerminalTabsRenderer)],
{
horizontalScrolling: false,
supportDynamicHeights: true,
supportDynamicHeights: false,
identityProvider: new TerminalTabsIdentityProvider(),
accessibilityProvider: new TerminalTabsAccessibilityProvider(),
styleController: id => new DefaultStyleController(DOM.createStyleSheet(container), id),