Fix zoom adjusting in rect_on_view

We now make sure we move the rect without adjusting its size, and then
also adjust the size based on the zoom.
This commit is contained in:
Florian Bruhin 2016-06-06 15:18:34 +02:00
parent b0e9d2aca5
commit 88debe4f5e

View File

@ -438,8 +438,9 @@ def rect_on_view(elem, *, elem_geometry=None, adjust_zoom=True):
if elem_geometry is None:
zoom = elem.webFrame().zoomFactor()
if not config.get('ui', 'zoom-text-only'):
rect.setLeft(rect.left() / zoom)
rect.setTop(rect.top() / zoom)
rect.moveTo(rect.left() / zoom, rect.top() / zoom)
rect.setWidth(rect.width() / zoom)
rect.setHeight(rect.height() / zoom)
return rect