src:resource.toString()+'?'+newDate().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();
if(scrollable){
scrollable.onContentsDimensions();
}
});
}
...
...
@@ -124,8 +124,8 @@ export class ResourceViewer {
text:nls.localize('missingAudioSupport',"Sorry but playback of audio files is not supported."),
controls:'controls'
}).on(DOM.EventType.LOAD,()=>{
if(scrollbar){
scrollbar.onElementInternalDimensions();
if(scrollable){
scrollable.onContentsDimensions();
}
});
}
...
...
@@ -141,8 +141,8 @@ export class ResourceViewer {
text:nls.localize('missingVideoSupport',"Sorry but playback of video files is not supported."),
controls:'controls'
}).on(DOM.EventType.LOAD,()=>{
if(scrollbar){
scrollbar.onElementInternalDimensions();
if(scrollable){
scrollable.onContentsDimensions();
}
});
}
...
...
@@ -156,8 +156,8 @@ export class ResourceViewer {
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.")