EDF font reference

The font is defined in EDF as follows:

font name
{
  id             number
  start          text
  end            text
  linesize       number
  spacesize      number
  widthdelta     number
  tallestchar    number
  centerwidth    number
  linearformat   text
  linearlump     identifier
  filter         block
  colorable      boolean
  uppercase      boolean
  blockcentered  boolean
  patchnumoffset integer
}

Font names have maximum 128 characters.

Properties

Key	Description
id	Currently unused, it was needed for the now-disabled Small scripting system.
start	First character in font. Can be either a character or an ASCII number.
end	Last character in font. Can be either a character or an ASCII number.
linesize	Text line height.
spacesize	Width of space character, if usespacesize is true.
widthdelta	Width delta: how much to reduce the width of each character.
tallestchar	Absolute height: the height of the tallest font character.
centerwidth	Centered width, constant width, used only when blockcentered is on.
colorable	Whether font color can be changed.
uppercase	Whether font uses uppercase only.
blockcentered	Whether characters are centered in position.
usespacesize	Whether to use spacesize distance for space size, instead of the character graphics.

To be continued.