Sign in Join

Live chat for Free Pascal, Lazarus, Delphi and every Pascal programmer.

Mailing lists / lazarus / 2016-04

Source Editor font size

6 messages · 3 people · –

Reply by email Subscribe to this list Your subscription

Read-only archive. Use j and k to move between messages.

Graeme Geldenhuys

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/ My public PGP key: http://tinyurl.com/graeme-pgp

Reply by email

Graeme Geldenhuys
to Graeme Geldenhuys

An even bigger issue...

3) The Font Preview in the Font Selection dialog shows the 11pt font as 10px high text (measured with GIMP zoomed in on a screenshot). Yet when the Source Editor uses that exact setting, the text appears as 12px high. Why the discrepancy in font sizes? I've attached a screenshot to show the issue. Use a image editor to zoom and measure the font hight (sample editor window vs the GTK2 Font Preview window).

I'm using Lazarus 1.7 r51695 FPC 2.6.4 x86_64-linux-gtk 2 and my X11 is forced to 96 dpi.

==================================

xdpyinfo | grep resolution

resolution: 96x96 dots per inch
==================================

Regards,
Graeme

fpGUI Toolkit - a cross-platform GUI toolkit using Free Pascal http://fpgui.sourceforge.net/ My public PGP key: http://tinyurl.com/graeme-pgp -------------- next part -------------- A non-text attachment was scrubbed... Name: Screenshot.png Type: image/png Size: 25059 bytes Desc: not available URL: <http://lists.lazarus.freepascal.org/pipermail/lazarus/attachments/20160422/4a5db56d/attachment-0001.png>

Reply by email

Martin Frb
to Graeme Geldenhuys: 1) I remember years back you could specify the editor font as a positive value (point…
Graeme Geldenhuys wrote 5 lines
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?

EditerOpts has not changed. Not sure why if fails now, maybe spinedit changed.
Its supposed to still work, please report.

Show quoted text 9 lines
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.

Well even if font.height or size would accept them, it would be a problem. In fact the problem exists on some OS, even without this. SynEdit requires not only monospace, but at current it also requires that each char a width of a full int. If that is not the case SynEdit enforces it, but that causes very slow drawing. (and other side effects)

Reply by email