Open rommmcek opened 8 years ago
So, if I understand correctly, you are asking for a Point offset rather than a pixel offset?
I guess, point offset would be much more appropriate!
On Mon, Dec 14, 2015 at 1:51 PM, ManiacDC notifications@github.com wrote:
So, if I understand correctly, you are asking for a Point offset rather than a pixel offset?
— Reply to this email directly or view it on GitHub https://github.com/ManiacDC/TypingAid/issues/70#issuecomment-164428875.
That seems reasonable. Should be doable.
This is a suited approach " - round(A_ScreenDPI / 50)" and " + round(A_ScreenDPI / 10)". I like it because it works fine for all my typical settings! But this is only by chance! DropDownBox offers now working pixel offset. What I think, would now be better to have point offset. However, intern zoom of the application would still inevitably tumble down the expectations! On the other hand, experienced user could well estimate appeared size and select corespondent point offset at first!