diff options
| author | Stephen Blott | 2017-09-12 11:54:28 +0100 |
|---|---|---|
| committer | GitHub | 2017-09-12 11:54:28 +0100 |
| commit | 23425118b80239b99f4d9a71727bd6ce65c8794e (patch) | |
| tree | 38d7ca7bf55bc0c15d80d0908b9b2176d9c76d86 /background_scripts | |
| parent | f3b186c0228f68e15e6c8d2aad53c227efb187f4 (diff) | |
| parent | 263a7c63ded6289242263601ed014fe8447876dc (diff) | |
| download | vimium-23425118b80239b99f4d9a71727bd6ce65c8794e.tar.bz2 | |
Merge pull request #2637 from mrmr1993/linkhints-scaled-display-fix
Exclude Firefox from the scaled DPI fix
Diffstat (limited to 'background_scripts')
| -rw-r--r-- | background_scripts/main.coffee | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/background_scripts/main.coffee b/background_scripts/main.coffee index 15292ab6..379239ae 100644 --- a/background_scripts/main.coffee +++ b/background_scripts/main.coffee @@ -5,6 +5,7 @@ root = exports ? window chrome.runtime.onInstalled.addListener ({ reason }) -> # See https://developer.chrome.com/extensions/runtime#event-onInstalled return if reason in [ "chrome_update", "shared_module_update" ] + return if Utils.isFirefox() manifest = chrome.runtime.getManifest() # Content scripts loaded on every page should be in the same group. We assume it is the first. contentScripts = manifest.content_scripts[0] @@ -310,6 +311,7 @@ Frames = isEnabledForUrl: ({request, tabId, port}) -> urlForTab[tabId] = request.url if request.frameIsFocused + request.isFirefox = Utils.isFirefox() # Update the value for Utils.isFirefox in the frontend. enabledState = Exclusions.isEnabledForUrl request.url if request.frameIsFocused |