| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284 |
- /*---------------------------------------------------------------------------------------------
- * Copyright (c) Microsoft Corporation. All rights reserved.
- * Licensed under the MIT License. See License.txt in the project root for license information.
- *--------------------------------------------------------------------------------------------*/
- import { BrowserFeatures } from '../../canIUse.js';
- import * as DOM from '../../dom.js';
- import { Disposable, DisposableStore, toDisposable } from '../../../common/lifecycle.js';
- import * as platform from '../../../common/platform.js';
- import { Range } from '../../../common/range.js';
- import './contextview.css';
- export var LayoutAnchorMode;
- (function (LayoutAnchorMode) {
- LayoutAnchorMode[LayoutAnchorMode["AVOID"] = 0] = "AVOID";
- LayoutAnchorMode[LayoutAnchorMode["ALIGN"] = 1] = "ALIGN";
- })(LayoutAnchorMode || (LayoutAnchorMode = {}));
- /**
- * Lays out a one dimensional view next to an anchor in a viewport.
- *
- * @returns The view offset within the viewport.
- */
- export function layout(viewportSize, viewSize, anchor) {
- const layoutAfterAnchorBoundary = anchor.mode === LayoutAnchorMode.ALIGN ? anchor.offset : anchor.offset + anchor.size;
- const layoutBeforeAnchorBoundary = anchor.mode === LayoutAnchorMode.ALIGN ? anchor.offset + anchor.size : anchor.offset;
- if (anchor.position === 0 /* LayoutAnchorPosition.Before */) {
- if (viewSize <= viewportSize - layoutAfterAnchorBoundary) {
- return layoutAfterAnchorBoundary; // happy case, lay it out after the anchor
- }
- if (viewSize <= layoutBeforeAnchorBoundary) {
- return layoutBeforeAnchorBoundary - viewSize; // ok case, lay it out before the anchor
- }
- return Math.max(viewportSize - viewSize, 0); // sad case, lay it over the anchor
- }
- else {
- if (viewSize <= layoutBeforeAnchorBoundary) {
- return layoutBeforeAnchorBoundary - viewSize; // happy case, lay it out before the anchor
- }
- if (viewSize <= viewportSize - layoutAfterAnchorBoundary) {
- return layoutAfterAnchorBoundary; // ok case, lay it out after the anchor
- }
- return 0; // sad case, lay it over the anchor
- }
- }
- export class ContextView extends Disposable {
- constructor(container, domPosition) {
- super();
- this.container = null;
- this.delegate = null;
- this.toDisposeOnClean = Disposable.None;
- this.toDisposeOnSetContainer = Disposable.None;
- this.shadowRoot = null;
- this.shadowRootHostElement = null;
- this.view = DOM.$('.context-view');
- this.useFixedPosition = false;
- this.useShadowDOM = false;
- DOM.hide(this.view);
- this.setContainer(container, domPosition);
- this._register(toDisposable(() => this.setContainer(null, 1 /* ContextViewDOMPosition.ABSOLUTE */)));
- }
- setContainer(container, domPosition) {
- var _a;
- if (this.container) {
- this.toDisposeOnSetContainer.dispose();
- if (this.shadowRoot) {
- this.shadowRoot.removeChild(this.view);
- this.shadowRoot = null;
- (_a = this.shadowRootHostElement) === null || _a === void 0 ? void 0 : _a.remove();
- this.shadowRootHostElement = null;
- }
- else {
- this.container.removeChild(this.view);
- }
- this.container = null;
- }
- if (container) {
- this.container = container;
- this.useFixedPosition = domPosition !== 1 /* ContextViewDOMPosition.ABSOLUTE */;
- this.useShadowDOM = domPosition === 3 /* ContextViewDOMPosition.FIXED_SHADOW */;
- if (this.useShadowDOM) {
- this.shadowRootHostElement = DOM.$('.shadow-root-host');
- this.container.appendChild(this.shadowRootHostElement);
- this.shadowRoot = this.shadowRootHostElement.attachShadow({ mode: 'open' });
- const style = document.createElement('style');
- style.textContent = SHADOW_ROOT_CSS;
- this.shadowRoot.appendChild(style);
- this.shadowRoot.appendChild(this.view);
- this.shadowRoot.appendChild(DOM.$('slot'));
- }
- else {
- this.container.appendChild(this.view);
- }
- const toDisposeOnSetContainer = new DisposableStore();
- ContextView.BUBBLE_UP_EVENTS.forEach(event => {
- toDisposeOnSetContainer.add(DOM.addStandardDisposableListener(this.container, event, (e) => {
- this.onDOMEvent(e, false);
- }));
- });
- ContextView.BUBBLE_DOWN_EVENTS.forEach(event => {
- toDisposeOnSetContainer.add(DOM.addStandardDisposableListener(this.container, event, (e) => {
- this.onDOMEvent(e, true);
- }, true));
- });
- this.toDisposeOnSetContainer = toDisposeOnSetContainer;
- }
- }
- show(delegate) {
- var _a, _b;
- if (this.isVisible()) {
- this.hide();
- }
- // Show static box
- DOM.clearNode(this.view);
- this.view.className = 'context-view';
- this.view.style.top = '0px';
- this.view.style.left = '0px';
- this.view.style.zIndex = '2575';
- this.view.style.position = this.useFixedPosition ? 'fixed' : 'absolute';
- DOM.show(this.view);
- // Render content
- this.toDisposeOnClean = delegate.render(this.view) || Disposable.None;
- // Set active delegate
- this.delegate = delegate;
- // Layout
- this.doLayout();
- // Focus
- (_b = (_a = this.delegate).focus) === null || _b === void 0 ? void 0 : _b.call(_a);
- }
- getViewElement() {
- return this.view;
- }
- layout() {
- if (!this.isVisible()) {
- return;
- }
- if (this.delegate.canRelayout === false && !(platform.isIOS && BrowserFeatures.pointerEvents)) {
- this.hide();
- return;
- }
- if (this.delegate.layout) {
- this.delegate.layout();
- }
- this.doLayout();
- }
- doLayout() {
- // Check that we still have a delegate - this.delegate.layout may have hidden
- if (!this.isVisible()) {
- return;
- }
- // Get anchor
- const anchor = this.delegate.getAnchor();
- // Compute around
- let around;
- // Get the element's position and size (to anchor the view)
- if (DOM.isHTMLElement(anchor)) {
- const elementPosition = DOM.getDomNodePagePosition(anchor);
- // In areas where zoom is applied to the element or its ancestors, we need to adjust the size of the element
- // e.g. The title bar has counter zoom behavior meaning it applies the inverse of zoom level.
- // Window Zoom Level: 1.5, Title Bar Zoom: 1/1.5, Size Multiplier: 1.5
- const zoom = DOM.getDomNodeZoomLevel(anchor);
- around = {
- top: elementPosition.top * zoom,
- left: elementPosition.left * zoom,
- width: elementPosition.width * zoom,
- height: elementPosition.height * zoom
- };
- }
- else {
- around = {
- top: anchor.y,
- left: anchor.x,
- width: anchor.width || 1,
- height: anchor.height || 2
- };
- }
- const viewSizeWidth = DOM.getTotalWidth(this.view);
- const viewSizeHeight = DOM.getTotalHeight(this.view);
- const anchorPosition = this.delegate.anchorPosition || 0 /* AnchorPosition.BELOW */;
- const anchorAlignment = this.delegate.anchorAlignment || 0 /* AnchorAlignment.LEFT */;
- const anchorAxisAlignment = this.delegate.anchorAxisAlignment || 0 /* AnchorAxisAlignment.VERTICAL */;
- let top;
- let left;
- if (anchorAxisAlignment === 0 /* AnchorAxisAlignment.VERTICAL */) {
- const verticalAnchor = { offset: around.top - window.pageYOffset, size: around.height, position: anchorPosition === 0 /* AnchorPosition.BELOW */ ? 0 /* LayoutAnchorPosition.Before */ : 1 /* LayoutAnchorPosition.After */ };
- const horizontalAnchor = { offset: around.left, size: around.width, position: anchorAlignment === 0 /* AnchorAlignment.LEFT */ ? 0 /* LayoutAnchorPosition.Before */ : 1 /* LayoutAnchorPosition.After */, mode: LayoutAnchorMode.ALIGN };
- top = layout(window.innerHeight, viewSizeHeight, verticalAnchor) + window.pageYOffset;
- // if view intersects vertically with anchor, we must avoid the anchor
- if (Range.intersects({ start: top, end: top + viewSizeHeight }, { start: verticalAnchor.offset, end: verticalAnchor.offset + verticalAnchor.size })) {
- horizontalAnchor.mode = LayoutAnchorMode.AVOID;
- }
- left = layout(window.innerWidth, viewSizeWidth, horizontalAnchor);
- }
- else {
- const horizontalAnchor = { offset: around.left, size: around.width, position: anchorAlignment === 0 /* AnchorAlignment.LEFT */ ? 0 /* LayoutAnchorPosition.Before */ : 1 /* LayoutAnchorPosition.After */ };
- const verticalAnchor = { offset: around.top, size: around.height, position: anchorPosition === 0 /* AnchorPosition.BELOW */ ? 0 /* LayoutAnchorPosition.Before */ : 1 /* LayoutAnchorPosition.After */, mode: LayoutAnchorMode.ALIGN };
- left = layout(window.innerWidth, viewSizeWidth, horizontalAnchor);
- // if view intersects horizontally with anchor, we must avoid the anchor
- if (Range.intersects({ start: left, end: left + viewSizeWidth }, { start: horizontalAnchor.offset, end: horizontalAnchor.offset + horizontalAnchor.size })) {
- verticalAnchor.mode = LayoutAnchorMode.AVOID;
- }
- top = layout(window.innerHeight, viewSizeHeight, verticalAnchor) + window.pageYOffset;
- }
- this.view.classList.remove('top', 'bottom', 'left', 'right');
- this.view.classList.add(anchorPosition === 0 /* AnchorPosition.BELOW */ ? 'bottom' : 'top');
- this.view.classList.add(anchorAlignment === 0 /* AnchorAlignment.LEFT */ ? 'left' : 'right');
- this.view.classList.toggle('fixed', this.useFixedPosition);
- const containerPosition = DOM.getDomNodePagePosition(this.container);
- this.view.style.top = `${top - (this.useFixedPosition ? DOM.getDomNodePagePosition(this.view).top : containerPosition.top)}px`;
- this.view.style.left = `${left - (this.useFixedPosition ? DOM.getDomNodePagePosition(this.view).left : containerPosition.left)}px`;
- this.view.style.width = 'initial';
- }
- hide(data) {
- const delegate = this.delegate;
- this.delegate = null;
- if (delegate === null || delegate === void 0 ? void 0 : delegate.onHide) {
- delegate.onHide(data);
- }
- this.toDisposeOnClean.dispose();
- DOM.hide(this.view);
- }
- isVisible() {
- return !!this.delegate;
- }
- onDOMEvent(e, onCapture) {
- if (this.delegate) {
- if (this.delegate.onDOMEvent) {
- this.delegate.onDOMEvent(e, document.activeElement);
- }
- else if (onCapture && !DOM.isAncestor(e.target, this.container)) {
- this.hide();
- }
- }
- }
- dispose() {
- this.hide();
- super.dispose();
- }
- }
- ContextView.BUBBLE_UP_EVENTS = ['click', 'keydown', 'focus', 'blur'];
- ContextView.BUBBLE_DOWN_EVENTS = ['click'];
- const SHADOW_ROOT_CSS = /* css */ `
- :host {
- all: initial; /* 1st rule so subsequent properties are reset. */
- }
- @font-face {
- font-family: "codicon";
- font-display: block;
- src: url("./codicon.ttf?5d4d76ab2ce5108968ad644d591a16a6") format("truetype");
- }
- .codicon[class*='codicon-'] {
- font: normal normal normal 16px/1 codicon;
- display: inline-block;
- text-decoration: none;
- text-rendering: auto;
- text-align: center;
- -webkit-font-smoothing: antialiased;
- -moz-osx-font-smoothing: grayscale;
- user-select: none;
- -webkit-user-select: none;
- -ms-user-select: none;
- }
- :host {
- font-family: -apple-system, BlinkMacSystemFont, "Segoe WPC", "Segoe UI", "HelveticaNeue-Light", system-ui, "Ubuntu", "Droid Sans", sans-serif;
- }
- :host-context(.mac) { font-family: -apple-system, BlinkMacSystemFont, sans-serif; }
- :host-context(.mac:lang(zh-Hans)) { font-family: -apple-system, BlinkMacSystemFont, "PingFang SC", "Hiragino Sans GB", sans-serif; }
- :host-context(.mac:lang(zh-Hant)) { font-family: -apple-system, BlinkMacSystemFont, "PingFang TC", sans-serif; }
- :host-context(.mac:lang(ja)) { font-family: -apple-system, BlinkMacSystemFont, "Hiragino Kaku Gothic Pro", sans-serif; }
- :host-context(.mac:lang(ko)) { font-family: -apple-system, BlinkMacSystemFont, "Nanum Gothic", "Apple SD Gothic Neo", "AppleGothic", sans-serif; }
- :host-context(.windows) { font-family: "Segoe WPC", "Segoe UI", sans-serif; }
- :host-context(.windows:lang(zh-Hans)) { font-family: "Segoe WPC", "Segoe UI", "Microsoft YaHei", sans-serif; }
- :host-context(.windows:lang(zh-Hant)) { font-family: "Segoe WPC", "Segoe UI", "Microsoft Jhenghei", sans-serif; }
- :host-context(.windows:lang(ja)) { font-family: "Segoe WPC", "Segoe UI", "Yu Gothic UI", "Meiryo UI", sans-serif; }
- :host-context(.windows:lang(ko)) { font-family: "Segoe WPC", "Segoe UI", "Malgun Gothic", "Dotom", sans-serif; }
- :host-context(.linux) { font-family: system-ui, "Ubuntu", "Droid Sans", sans-serif; }
- :host-context(.linux:lang(zh-Hans)) { font-family: system-ui, "Ubuntu", "Droid Sans", "Source Han Sans SC", "Source Han Sans CN", "Source Han Sans", sans-serif; }
- :host-context(.linux:lang(zh-Hant)) { font-family: system-ui, "Ubuntu", "Droid Sans", "Source Han Sans TC", "Source Han Sans TW", "Source Han Sans", sans-serif; }
- :host-context(.linux:lang(ja)) { font-family: system-ui, "Ubuntu", "Droid Sans", "Source Han Sans J", "Source Han Sans JP", "Source Han Sans", sans-serif; }
- :host-context(.linux:lang(ko)) { font-family: system-ui, "Ubuntu", "Droid Sans", "Source Han Sans K", "Source Han Sans JR", "Source Han Sans", "UnDotum", "FBaekmuk Gulim", sans-serif; }
- `;
|