[texshop] TeXShop 4.13

[Bruno Voisin]

> On 13 Oct 2018, at 16:57, Herbert Schulz <herbs at wideopenwest.com> wrote:
> 
> If I had to guess ``points'' means bp, big points (72points/in), in TeX talk.
> 
> I'm not sure that a space is the same width as the point size of a font (e.g., Menlo 12pt) even in a mono-spaced font as usually used in a text editor; e.g., I use Menlo Regular 14pt in Apple Mail and TeXShop and the M certainly is taller than it's width.

The page

https://kyleschaeffer.com/development/css-font-size-em-vs-px-vs-pt-vs/

seems to say the font size is the em-size. But:

- That page is intended for CSS and web design.

- It is just a page that somebody wrote and put online, everything in it is not necessarily correct.

So to be sure I went back to the TeXbook, which seems to say the same on p. 15:

"For example, the font you are now reading is called a "10-point" font, because certain features of its design are 10 points apart, when measured in printers' units.  (We will study the point system later; for now, it should suffice to point out that the parentheses around this sentence are exactly 10 points tall---and
the em-dash is just 10 points wide.)"

Bruno