diff --git a/apps/files/js/files.js b/apps/files/js/files.js index 4c2d87d808..ceb096f094 100644 --- a/apps/files/js/files.js +++ b/apps/files/js/files.js @@ -663,6 +663,8 @@ Files.generatePreviewUrl = function(urlSpec) { if (!urlSpec.y) { urlSpec.y = $('#filestable').data('preview-y'); } + urlSpec.y *= window.devicePixelRatio; + urlSpec.x *= window.devicePixelRatio; urlSpec.forceIcon = 0; return OC.generateUrl('/core/preview.png?') + $.param(urlSpec); } @@ -670,7 +672,7 @@ Files.generatePreviewUrl = function(urlSpec) { Files.lazyLoadPreview = function(path, mime, ready, width, height, etag) { // get mime icon url Files.getMimeIcon(mime, function(iconURL) { - var previewURL; + var previewURL, urlSpec = {}; ready(iconURL); // set mimeicon URL @@ -696,7 +698,7 @@ Files.lazyLoadPreview = function(path, mime, ready, width, height, etag) { if (img.width > 5) { ready(previewURL); } - } + }; img.src = previewURL; }); }; diff --git a/core/js/compatibility.js b/core/js/compatibility.js index 6548f95d42..c07288857f 100644 --- a/core/js/compatibility.js +++ b/core/js/compatibility.js @@ -148,3 +148,7 @@ function outerHTML(node){ return h; })(node); } + +// devicePixelRatio for IE10 +window.devicePixelRatio = window.devicePixelRatio || + window.screen.deviceXDPI / window.screen.logicalXDPI || 1;