And there are two combos "Extra line spacing" and "Extra char spacing" with predifned values 0, 1, 2. However they accept any value (-4, 5 etc.) Maybe this feature is hidden for some users. V. ______________________________________________________________
Od: Graeme Geldenhuys <mailingli...@geldenhuys.co.uk> Komu: Lazarus mailing list <lazarus@lists.lazarus.freepascal.org> Datum: 22.04.2016 14:05 Předmět: [Lazarus] Source Editor font size
Hi, 1) 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. Why was that removed? 2) Why can't I specify point sizes with a decimal? eg: 10.5pt For example: I just switched my editor to DejaVu Sans Mono (from Raize) because I needed to work with unicode text. The font size changed drastically between to the two fonts. DejaVu Sans Mono 10pt is now too small, and 11pt is too big. I would like 10.5 (like I've done in other text editors I use). Or better yet, specify the font size in pixels. Regards, Graeme -- fpGUI Toolkit - a cross-platform GUI toolkit using Free Pascal http://fpgui.sourceforge.net/ <http://fpgui.sourceforge.net/> My public PGP key: http://tinyurl.com/graeme-pgp <http://tinyurl.com/graeme-pgp> -- _______________________________________________ Lazarus mailing list Lazarus@lists.lazarus.freepascal.org http://lists.lazarus.freepascal.org/mailman/listinfo/lazarus <http://lists.lazarus.freepascal.org/mailman/listinfo/lazarus>
-- _______________________________________________ Lazarus mailing list Lazarus@lists.lazarus.freepascal.org http://lists.lazarus.freepascal.org/mailman/listinfo/lazarus
