Use points instead of pixels to ensure proper scaling

[gmichaud]

Fixes #35 - before and after: https://imgur.com/a/6pceu

[gmichaud]

I had already merged in the changes from this commit. The before screenshot I included shows that the problem is still there.

…

On Nov 10, 2017, at 13:15, Ravi Patel ***@***.***> wrote: I did this little differently in this commit <a103731>. Can you check if this still gets the same result as your Patch? — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#55 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AI_zIKgUjT3pepprXMnfnkpv8HG4TUdJks5s1JK8gaJpZM4QZqsX>.

[ravibpatel]

@gmichaud I think I found the problem with my method. I used SizeInPoints which may differ from screen to screen and shows size in point according to the previous pixel value. That's why fonts look same on high DPI display even if it was converted to Point. I will merge this pull request with some changes to the font size cause it looks very big on my display.