Font size is in points, which is 1/72th of an inch, so varying DPI of the monitor makes the pixels per character different even for the same font size.
--- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/886#issuecomment-192872372
