本文整理汇总了TypeScript中vs/base/browser/ui/scrollbar/scrollableElement.DomScrollableElement.scanDomNode方法的典型用法代码示例。如果您正苦于以下问题：TypeScript DomScrollableElement.scanDomNode方法的具体用法？TypeScript DomScrollableElement.scanDomNode怎么用？TypeScript DomScrollableElement.scanDomNode使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类vs/base/browser/ui/scrollbar/scrollableElement.DomScrollableElement的用法示例。
在下文中一共展示了DomScrollableElement.scanDomNode方法的3个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的TypeScript代码示例。
示例1: layout
public layout(dimension: Dimension): void {
// Pass on to Binary Container
this.binaryContainer.size(dimension.width, dimension.height);
this.scrollbar.scanDomNode();
if (this.resourceViewerContext) {
this.resourceViewerContext.layout(dimension);
}
}示例2:
}).on(DOM.EventType.LOAD, () => {
if (scrollbar) {
scrollbar.scanDomNode();
}
});示例3: show
public static show(name: string, resource: URI, container: Builder, scrollbar?: DomScrollableElement): void {
// Ensure CSS class
$(container).addClass('monaco-resource-viewer');
// Lookup media mime if any
let mime: string;
const ext = paths.extname(resource.toString());
if (ext) {
mime = mapExtToMediaMimes[ext.toLowerCase()];
}
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: resource.toString() + '?' + Date.now() // 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.scanDomNode();
}
});
}
// Embed Object (only PDF for now)
else if (false /* PDF is currently not supported in Electron it seems */ && mime.indexOf('pdf') >= 0) {
$(container)
.empty()
.style({ padding: 0, margin: 0 }) // We really do not want any paddings or margins when displaying PDFs
.element('object')
.attr({
data: resource.toString() + '?' + Date.now(), // 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: resource.toString() + '?' + Date.now(), // 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.scanDomNode();
}
});
}
// Embed Video (if supported in browser)
else if (mime.indexOf('video/') >= 0) {
$(container)
.empty()
.style({ paddingLeft: '20px' }) // restore CSS value in case the user saw a PDF before where we remove padding
.element('video')
.attr({
src: resource.toString() + '?' + Date.now(), // 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.scanDomNode();
}
});
}
// 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.scanDomNode();
}
}
}