diff options
| author | mrmr1993 | 2017-09-12 11:37:50 +0100 | 
|---|---|---|
| committer | mrmr1993 | 2017-09-12 11:42:35 +0100 | 
| commit | 263a7c63ded6289242263601ed014fe8447876dc (patch) | |
| tree | 38d7ca7bf55bc0c15d80d0908b9b2176d9c76d86 | |
| parent | 504e63cd9a833b236b3d7f87ea71d58707db8804 (diff) | |
| download | vimium-263a7c63ded6289242263601ed014fe8447876dc.tar.bz2 | |
FF: Don't use devicePixelRatio fix for HiDPI link hints
| -rw-r--r-- | lib/dom_utils.coffee | 3 | 
1 files changed, 2 insertions, 1 deletions
| diff --git a/lib/dom_utils.coffee b/lib/dom_utils.coffee index 24747837..c8ddcedf 100644 --- a/lib/dom_utils.coffee +++ b/lib/dom_utils.coffee @@ -293,7 +293,8 @@ DomUtils =      style = getComputedStyle box      if style.position == "static" and not /content|paint|strict/.test(style.contain or "")        zoom = +style.zoom || 1 -      ratio = window.devicePixelRatio ? 1 +      ratio = window.devicePixelRatio +      ratio = 1 if Utils.isFirefox() or not ratio?        top: Math.ceil(window.scrollY * ratio / zoom), left: Math.ceil(window.scrollX * ratio / zoom)      else        rect = box.getBoundingClientRect() | 
