From 8b3117689ef7ca8cc472d7ed516142d91fc28563 Mon Sep 17 00:00:00 2001 From: Felix Rieseberg Date: Thu, 23 Aug 2018 16:16:40 -0700 Subject: [PATCH] :wrench: Don't set scale on non-Windows --- src/.github/issue_template.md | 2 +- src/renderer/renderer.js | 10 ++++++---- 2 files changed, 7 insertions(+), 5 deletions(-) diff --git a/src/.github/issue_template.md b/src/.github/issue_template.md index 78605ed..0196eb4 100644 --- a/src/.github/issue_template.md +++ b/src/.github/issue_template.md @@ -1,3 +1,3 @@ ⚠️ Thank you for reporting an issue! -Before we go any further, understand that I probably won't fullfil feature requests. I will however _gladly_ help you make a pull request if you're willing to play with Javascript! +Before we go any further, understand that I probably won't fullfil feature requests. I will however _gladly_ help you make a pull request if you're willing to play with Javascript! \ No newline at end of file diff --git a/src/renderer/renderer.js b/src/renderer/renderer.js index b000ae8..0066055 100644 --- a/src/renderer/renderer.js +++ b/src/renderer/renderer.js @@ -35,10 +35,12 @@ async function main (id) { // New v86 instance window.emulator = new V86Starter(opts) - - //high-dpi support - var scale = window.devicePixelRatio; - window.emulator.screen_adapter.set_scale(scale,scale); + + // High DPI support + if (navigator.userAgent.includes('Windows')) { + var scale = window.devicePixelRatio; + window.emulator.screen_adapter.set_scale(scale,scale); + } // Restore state. We can't do this right away. setTimeout(async () => {