@xterm/xterm 6.1.0-beta.28 → 6.1.0-beta.281

package/src/vs/base/browser/ui/scrollbar/verticalScrollbar.ts

@@ -1,116 +0,0 @@
-/*---------------------------------------------------------------------------------------------
- *  Copyright (c) Microsoft Corporation. All rights reserved.
- *  Licensed under the MIT License. See License.txt in the project root for license information.
- *--------------------------------------------------------------------------------------------*/
-
-import { AbstractScrollbar, ISimplifiedPointerEvent, ScrollbarHost } from 'vs/base/browser/ui/scrollbar/abstractScrollbar';
-import { ScrollableElementResolvedOptions } from 'vs/base/browser/ui/scrollbar/scrollableElementOptions';
-import { ScrollbarState } from 'vs/base/browser/ui/scrollbar/scrollbarState';
-import { INewScrollPosition, Scrollable, ScrollbarVisibility, ScrollEvent } from 'vs/base/common/scrollable';
-
-
-
-export class VerticalScrollbar extends AbstractScrollbar {
-
-	constructor(scrollable: Scrollable, options: ScrollableElementResolvedOptions, host: ScrollbarHost) {
-		const scrollDimensions = scrollable.getScrollDimensions();
-		const scrollPosition = scrollable.getCurrentScrollPosition();
-		super({
-			lazyRender: options.lazyRender,
-			host: host,
-			scrollbarState: new ScrollbarState(
-				(options.verticalHasArrows ? options.arrowSize : 0),
-				(options.vertical === ScrollbarVisibility.Hidden ? 0 : options.verticalScrollbarSize),
-				// give priority to vertical scroll bar over horizontal and let it scroll all the way to the bottom
-				0,
-				scrollDimensions.height,
-				scrollDimensions.scrollHeight,
-				scrollPosition.scrollTop
-			),
-			visibility: options.vertical,
-			extraScrollbarClassName: 'vertical',
-			scrollable: scrollable,
-			scrollByPage: options.scrollByPage
-		});
-
-		if (options.verticalHasArrows) {
-      throw new Error('horizontalHasArrows is not supported in xterm.js');
-			// const arrowDelta = (options.arrowSize - ARROW_IMG_SIZE) / 2;
-			// const scrollbarDelta = (options.verticalScrollbarSize - ARROW_IMG_SIZE) / 2;
-
-			// this._createArrow({
-			// 	className: 'scra',
-			// 	icon: Codicon.scrollbarButtonUp,
-			// 	top: arrowDelta,
-			// 	left: scrollbarDelta,
-			// 	bottom: undefined,
-			// 	right: undefined,
-			// 	bgWidth: options.verticalScrollbarSize,
-			// 	bgHeight: options.arrowSize,
-			// 	onActivate: () => this._host.onMouseWheel(new StandardWheelEvent(null, 0, 1)),
-			// });
-
-			// this._createArrow({
-			// 	className: 'scra',
-			// 	icon: Codicon.scrollbarButtonDown,
-			// 	top: undefined,
-			// 	left: scrollbarDelta,
-			// 	bottom: arrowDelta,
-			// 	right: undefined,
-			// 	bgWidth: options.verticalScrollbarSize,
-			// 	bgHeight: options.arrowSize,
-			// 	onActivate: () => this._host.onMouseWheel(new StandardWheelEvent(null, 0, -1)),
-			// });
-		}
-
-		this._createSlider(0, Math.floor((options.verticalScrollbarSize - options.verticalSliderSize) / 2), options.verticalSliderSize, undefined);
-	}
-
-	protected _updateSlider(sliderSize: number, sliderPosition: number): void {
-		this.slider.setHeight(sliderSize);
-		this.slider.setTop(sliderPosition);
-	}
-
-	protected _renderDomNode(largeSize: number, smallSize: number): void {
-		this.domNode.setWidth(smallSize);
-		this.domNode.setHeight(largeSize);
-		this.domNode.setRight(0);
-		this.domNode.setTop(0);
-	}
-
-	public onDidScroll(e: ScrollEvent): boolean {
-		this._shouldRender = this._onElementScrollSize(e.scrollHeight) || this._shouldRender;
-		this._shouldRender = this._onElementScrollPosition(e.scrollTop) || this._shouldRender;
-		this._shouldRender = this._onElementSize(e.height) || this._shouldRender;
-		return this._shouldRender;
-	}
-
-	protected _pointerDownRelativePosition(offsetX: number, offsetY: number): number {
-		return offsetY;
-	}
-
-	protected _sliderPointerPosition(e: ISimplifiedPointerEvent): number {
-		return e.pageY;
-	}
-
-	protected _sliderOrthogonalPointerPosition(e: ISimplifiedPointerEvent): number {
-		return e.pageX;
-	}
-
-	protected _updateScrollbarSize(size: number): void {
-		this.slider.setWidth(size);
-	}
-
-	public writeScrollPosition(target: INewScrollPosition, scrollPosition: number): void {
-		target.scrollTop = scrollPosition;
-	}
-
-	public updateOptions(options: ScrollableElementResolvedOptions): void {
-		this.updateScrollbarSize(options.vertical === ScrollbarVisibility.Hidden ? 0 : options.verticalScrollbarSize);
-		// give priority to vertical scroll bar over horizontal and let it scroll all the way to the bottom
-		this._scrollbarState.setOppositeScrollbarSize(0);
-		this._visibilityController.setVisibility(options.vertical);
-		this._scrollByPage = options.scrollByPage;
-	}
-
-}

package/src/vs/base/browser/ui/widget.ts

@@ -1,57 +0,0 @@
-/*---------------------------------------------------------------------------------------------
- *  Copyright (c) Microsoft Corporation. All rights reserved.
- *  Licensed under the MIT License. See License.txt in the project root for license information.
- *--------------------------------------------------------------------------------------------*/
-
-import * as dom from 'vs/base/browser/dom';
-import { IKeyboardEvent, StandardKeyboardEvent } from 'vs/base/browser/keyboardEvent';
-import { IMouseEvent, StandardMouseEvent } from 'vs/base/browser/mouseEvent';
-import { Gesture } from 'vs/base/browser/touch';
-import { Disposable, IDisposable } from 'vs/base/common/lifecycle';
-
-export abstract class Widget extends Disposable {
-
-	protected onclick(domNode: HTMLElement, listener: (e: IMouseEvent) => void): void {
-		this._register(dom.addDisposableListener(domNode, dom.EventType.CLICK, (e: MouseEvent) => listener(new StandardMouseEvent(dom.getWindow(domNode), e))));
-	}
-
-	protected onmousedown(domNode: HTMLElement, listener: (e: IMouseEvent) => void): void {
-		this._register(dom.addDisposableListener(domNode, dom.EventType.MOUSE_DOWN, (e: MouseEvent) => listener(new StandardMouseEvent(dom.getWindow(domNode), e))));
-	}
-
-	protected onmouseover(domNode: HTMLElement, listener: (e: IMouseEvent) => void): void {
-		this._register(dom.addDisposableListener(domNode, dom.EventType.MOUSE_OVER, (e: MouseEvent) => listener(new StandardMouseEvent(dom.getWindow(domNode), e))));
-	}
-
-	protected onmouseleave(domNode: HTMLElement, listener: (e: IMouseEvent) => void): void {
-		this._register(dom.addDisposableListener(domNode, dom.EventType.MOUSE_LEAVE, (e: MouseEvent) => listener(new StandardMouseEvent(dom.getWindow(domNode), e))));
-	}
-
-	protected onkeydown(domNode: HTMLElement, listener: (e: IKeyboardEvent) => void): void {
-		this._register(dom.addDisposableListener(domNode, dom.EventType.KEY_DOWN, (e: KeyboardEvent) => listener(new StandardKeyboardEvent(e))));
-	}
-
-	protected onkeyup(domNode: HTMLElement, listener: (e: IKeyboardEvent) => void): void {
-		this._register(dom.addDisposableListener(domNode, dom.EventType.KEY_UP, (e: KeyboardEvent) => listener(new StandardKeyboardEvent(e))));
-	}
-
-	protected oninput(domNode: HTMLElement, listener: (e: Event) => void): void {
-		this._register(dom.addDisposableListener(domNode, dom.EventType.INPUT, listener));
-	}
-
-	protected onblur(domNode: HTMLElement, listener: (e: Event) => void): void {
-		this._register(dom.addDisposableListener(domNode, dom.EventType.BLUR, listener));
-	}
-
-	protected onfocus(domNode: HTMLElement, listener: (e: Event) => void): void {
-		this._register(dom.addDisposableListener(domNode, dom.EventType.FOCUS, listener));
-	}
-
-	protected onchange(domNode: HTMLElement, listener: (e: Event) => void): void {
-		this._register(dom.addDisposableListener(domNode, dom.EventType.CHANGE, listener));
-	}
-
-	protected ignoreGesture(domNode: HTMLElement): IDisposable {
-		return Gesture.ignoreTarget(domNode);
-	}
-}

package/src/vs/base/browser/window.ts

@@ -1,14 +0,0 @@
-/*---------------------------------------------------------------------------------------------
- *  Copyright (c) Microsoft Corporation. All rights reserved.
- *  Licensed under the MIT License. See License.txt in the project root for license information.
- *--------------------------------------------------------------------------------------------*/
-
-export type CodeWindow = Window & typeof globalThis & {
-	readonly vscodeWindowId: number;
-};
-
-export function ensureCodeWindow(targetWindow: Window, fallbackWindowId: number): asserts targetWindow is CodeWindow {
-}
-
-// eslint-disable-next-line no-restricted-globals
-export const mainWindow = (typeof window === 'object' ? window : globalThis) as CodeWindow;