In reply to What does e.g. "<typeface name> 11 on 14" mean?:
That dict editor had more ’n a skerrick of sense, klar.
Note: It may be that the iD programmers chose 'Leading' over 'Line spacing' so they could push the selectors a bit closer together in hope tthat the user could grasp both in one glance. Feh. Reckon this would have worked better:
Size -- [11pt X] / [14pt X] -- Line spacing