TypeScript scrollableElement.IScrollableElement类代码示例

	public static show(name: string, url: string, container: Builder, scrollbar?: IScrollableElement): void {

		// Ensure CSS class
		$(container).addClass('monaco-resource-viewer');

		// Lookup media mime if any
		let mime: string;
		const ext = paths.extname(url);
		if (ext) {
			mime = mapExtToMediaMimes[ext];
		}

		if (!mime) {
			mime = mimes.MIME_BINARY;
		}

		// Show Image inline
		if (mime.indexOf('image/') >= 0) {
			$(container)
				.empty()
				.style({ paddingLeft: '20px' }) // restore CSS value in case the user saw a PDF before where we remove padding
				.img({
					src: url + '?' + new Date().getTime() // We really want to avoid the browser from caching this resource, so we add a fake query param that is unique
				}).on(DOM.EventType.LOAD, () => {
					if (scrollbar) {
						scrollbar.onElementInternalDimensions();
					}
				});
		}

		// Embed Object (only PDF for now)
		else if (false /* PDF is currently not supported in Electron it seems */ && mime.indexOf('pdf') >= 0) {
			var object = $(container)
				.empty()
				.style({ padding: 0, margin: 0 }) // We really do not want any paddings or margins when displaying PDFs
				.element('object')
				.attr({
					data: url + '?' + new Date().getTime(), // We really want to avoid the browser from caching this resource, so we add a fake query param that is unique
					width: '100%',
					height: '100%',
					type: mime
				});
		}

		// Embed Audio (if supported in browser)
		else if (mime.indexOf('audio/') >= 0) {
			$(container)
				.empty()
				.style({ paddingLeft: '20px' }) // restore CSS value in case the user saw a PDF before where we remove padding
				.element('audio')
				.attr({
					src: url + '?' + new Date().getTime(), // We really want to avoid the browser from caching this resource, so we add a fake query param that is unique
					text: nls.localize('missingAudioSupport', "Sorry but playback of audio files is not supported."),
					controls: 'controls'
				}).on(DOM.EventType.LOAD, () => {
					if (scrollbar) {
						scrollbar.onElementInternalDimensions();
					}
				});
		}

		// Embed Video (if supported in browser)
		else if (mime.indexOf('video/') >= 0) {
			var video = $(container)
				.empty()
				.style({ paddingLeft: '20px' }) // restore CSS value in case the user saw a PDF before where we remove padding
				.element('video')
				.attr({
					src: url + '?' + new Date().getTime(), // We really want to avoid the browser from caching this resource, so we add a fake query param that is unique
					text: nls.localize('missingVideoSupport', "Sorry but playback of video files is not supported."),
					controls: 'controls'
				}).on(DOM.EventType.LOAD, () => {
					if (scrollbar) {
						scrollbar.onElementInternalDimensions();
					}
				});
		}

		// Handle generic Binary Files
		else {
			$(container)
				.empty()
				.style({ paddingLeft: '20px' }) // restore CSS value in case the user saw a PDF before where we remove padding
				.span({
					text: nls.localize('nativeBinaryError', "The file cannot be displayed in the editor because it is either binary, very large or uses an unsupported text encoding.")
				});

			if (scrollbar) {
				scrollbar.onElementInternalDimensions();
			}
		}
	}

	public onSizeProviderLayoutChanged(): void {
		if (this.scrollbar) {
			this.scrollbar.onElementDimensions({
				width: this.configuration.editor.layoutInfo.contentWidth,
				height: this.configuration.editor.layoutInfo.contentHeight,
			});
		}
	}

				}).on(DOM.EventType.LOAD, () => {
					if (scrollbar) {
						scrollbar.onElementInternalDimensions();
					}
				});

		this.toDispose.push(this.configuration.onDidChange((e:IConfigurationChangedEvent) => {
			this.scrollbar.updateClassName(this.configuration.editor.theme);
			if (e.scrollbar) {
				this.scrollbar.updateOptions(this.configuration.editor.scrollbar);
			}
		}));

	public delegateVerticalScrollbarMouseDown(browserEvent:MouseEvent): void {
		if (this.scrollbar) {
			this.scrollbar.delegateVerticalScrollbarMouseDown(browserEvent);
		}
	}

	public getScrollbarContainerDomNode(): HTMLElement {
		if (this.scrollbar) {
			return this.scrollbar.getDomNode();
		}
		return this.linesContent;
	}

	public getOverviewRulerLayoutInfo(): IOverviewRulerLayoutInfo {
		if (this.scrollbar) {
			return this.scrollbar.getOverviewRulerLayoutInfo();
		}
		return null;
	}

	public renderScrollbar(): void {
		this.scrollbar.renderNow();
	}

		this.toDispose.push(this.scrollable.addInternalSizeChangeListener(() => {
			this.scrollbar.onElementInternalDimensions();
		}));