• Jeremie Knuesel's avatar
    Distinguish zoom and scale, always apply DPI correction on scale · d625c0d9
    Jeremie Knuesel authored
    Replace scale with zoom in most cases. Scale means pixels per point, as
    before. The zoom is the screen-size / document-size ratio: a zoom of 1
    means that the document should have the same size on screen as on paper.
    
    This fixes many issues with the previous DPI changes, e.g. with link and
    search rectangles.
    d625c0d9
page-widget.c 42.4 KB