Source Editor font size - Pixels vs Point size
Original Reporter info from Mantis: ggeldenhuys
-
Reporter name: Graeme Geldenhuys
Original Reporter info from Mantis: ggeldenhuys
- Reporter name: Graeme Geldenhuys
Description:
I remember years back you could specify the editor font as a
positive value (point size) and a negative value (pixel size). This
doesn't seem possible with v1.7 any more. Martin Frb said it should still work,
and that I must report it here.
I'm using Lazarus 1.7 r51695 FPC 2.6.4 x86_64-linux-gtk 2 and my X11 is
forced to 96 dpi.
Mantis conversion info:
- Mantis ID: 30085
- OS: FreeBSD
- OS Build: 10.1
- Platform: x86_64
- Version: 1.7 (SVN)
- Fixed in revision: 52408 (#91c8da3f)