mirror of
https://github.com/microsoft/vscode.git
synced 2026-09-20 02:34:37 +01:00
kieferrmandcopilot-swe-agent[bot]
333d9a4053
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
80 lines
3.2 KiB
TypeScript
80 lines
3.2 KiB
TypeScript
/*---------------------------------------------------------------------------------------------
|
|
* Copyright (c) Microsoft Corporation. All rights reserved.
|
|
* Licensed under the MIT License. See License.txt in the project root for license information.
|
|
*--------------------------------------------------------------------------------------------*/
|
|
|
|
import { IBoundarySashes, ISashEvent, Orientation, Sash, SashState } from 'vs/base/browser/ui/sash/sash';
|
|
import { Disposable } from 'vs/base/common/lifecycle';
|
|
import { IObservable, IReader, autorun, derived, observableValue } from 'vs/base/common/observable';
|
|
import { DiffEditorOptions } from './diffEditorOptions';
|
|
|
|
export class DiffEditorSash extends Disposable {
|
|
private readonly _sashRatio = observableValue<number | undefined>(this, undefined);
|
|
|
|
public readonly sashLeft = derived(this, reader => {
|
|
const ratio = this._sashRatio.read(reader) ?? this._options.splitViewDefaultRatio.read(reader);
|
|
return this._computeSashLeft(ratio, reader);
|
|
});
|
|
|
|
private readonly _sash = this._register(new Sash(this._domNode, {
|
|
getVerticalSashTop: (_sash: Sash): number => 0,
|
|
getVerticalSashLeft: (_sash: Sash): number => this.sashLeft.get(),
|
|
getVerticalSashHeight: (_sash: Sash): number => this._dimensions.height.get(),
|
|
}, { orientation: Orientation.VERTICAL }));
|
|
|
|
private _startSashPosition: number | undefined = undefined;
|
|
|
|
constructor(
|
|
private readonly _options: DiffEditorOptions,
|
|
private readonly _domNode: HTMLElement,
|
|
private readonly _dimensions: { height: IObservable<number>; width: IObservable<number> },
|
|
) {
|
|
super();
|
|
|
|
this._register(this._sash.onDidStart(() => {
|
|
this._startSashPosition = this.sashLeft.get();
|
|
}));
|
|
this._register(this._sash.onDidChange((e: ISashEvent) => {
|
|
const contentWidth = this._dimensions.width.get();
|
|
const sashPosition = this._computeSashLeft((this._startSashPosition! + (e.currentX - e.startX)) / contentWidth, undefined);
|
|
this._sashRatio.set(sashPosition / contentWidth, undefined);
|
|
}));
|
|
this._register(this._sash.onDidEnd(() => this._sash.layout()));
|
|
this._register(this._sash.onDidReset(() => this._sashRatio.set(undefined, undefined)));
|
|
|
|
this._register(autorun(reader => {
|
|
/** @description update sash layout */
|
|
const enabled = this._options.enableSplitViewResizing.read(reader);
|
|
this._sash.state = enabled ? SashState.Enabled : SashState.Disabled;
|
|
this.sashLeft.read(reader);
|
|
this._dimensions.height.read(reader);
|
|
this._sash.layout();
|
|
}));
|
|
}
|
|
|
|
|
|
|
|
setBoundarySashes(sashes: IBoundarySashes): void {
|
|
this._sash.orthogonalEndSash = sashes.bottom;
|
|
}
|
|
|
|
/** @pure */
|
|
private _computeSashLeft(desiredRatio: number, reader: IReader | undefined): number {
|
|
const contentWidth = this._dimensions.width.read(reader);
|
|
const midPoint = Math.floor(this._options.splitViewDefaultRatio.read(reader) * contentWidth);
|
|
const sashLeft = this._options.enableSplitViewResizing.read(reader) ? Math.floor(desiredRatio * contentWidth) : midPoint;
|
|
|
|
const MINIMUM_EDITOR_WIDTH = 100;
|
|
if (contentWidth <= MINIMUM_EDITOR_WIDTH * 2) {
|
|
return midPoint;
|
|
}
|
|
if (sashLeft < MINIMUM_EDITOR_WIDTH) {
|
|
return MINIMUM_EDITOR_WIDTH;
|
|
}
|
|
if (sashLeft > contentWidth - MINIMUM_EDITOR_WIDTH) {
|
|
return contentWidth - MINIMUM_EDITOR_WIDTH;
|
|
}
|
|
return sashLeft;
|
|
}
|
|
}
|