Changes between Version 1 and Version 4 of Ticket #18694


Ignore:
Timestamp:
2020-02-11T20:53:12+01:00 (5 years ago)
Author:
Don-vip
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #18694

    • Property Keywords hidpi mouse cursor added

  • Ticket #18694 – Description

    v1 v4  
    77Mouse cursor with a dashed rectangle close to it, containing a little plus sign.  Mouse arrow and rectangle have approximately the same size.
    88
     9[[Image(CorrectLoDpiCursor.png)]]
     10
    911==== What happens instead?
    1012Mouse cursor with a dashed rectangle quite distant to it, containing a very tiny plus sign (very hard to see).  The mouse arrow is larger than the rectangle.
     13
     14[[Image(FaultyHiDpiCursor.png)]]
    1115
    1216==== Please provide any additional information below. Attach a screenshot if possible.
    … …  
    1721I would like to fix this myself.  However, I would need some explanations on the existing code.
    1822Deep down in the cursor construction I get via
     23{{{
     24#!java
    1925GuiSizesHelper.getSizeDpiAdjusted()
     26}}}
    2027to
     28{{{
     29#!java
    2130GuiSizesHelper.getScreenDPI()
     31}}}
    2232which claims to return the "screen resolution in DPI".
    2333However, unless for the unlikely case that the user sets "gui.scale" in the settings manually, it will always return 96, regardless of the actual screen resolution (and/or scaling), will it not?