diff options
Diffstat (limited to 'devel/electron7/files/patch-ui_webui_resources_js_icon.js')
| -rw-r--r-- | devel/electron7/files/patch-ui_webui_resources_js_icon.js | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/devel/electron7/files/patch-ui_webui_resources_js_icon.js b/devel/electron7/files/patch-ui_webui_resources_js_icon.js deleted file mode 100644 index 2cedab81d0b9..000000000000 --- a/devel/electron7/files/patch-ui_webui_resources_js_icon.js +++ /dev/null @@ -1,11 +0,0 @@ ---- ui/webui/resources/js/icon.js.orig 2019-12-12 12:41:35 UTC -+++ ui/webui/resources/js/icon.js -@@ -16,7 +16,7 @@ cr.define('cr.icon', function() { - // supports SCALE_FACTOR_100P on all non-iOS platforms. - supportedScaleFactors.push(1); - } -- if (cr.isMac || cr.isChromeOS || cr.isWindows || cr.isLinux) { -+ if (cr.isMac || cr.isChromeOS || cr.isWindows || cr.isLinux || cr.isBSD) { - // All desktop platforms support zooming which also updates the renderer's - // device scale factors (a.k.a devicePixelRatio), and these platforms have - // high DPI assets for 2x. Let the renderer pick the closest image for |