Handling Virtual Fonts

I have no idea how virtual fonts work. Perhaps someone who does understand them can figure out how to support them.

Here is an explanation of how to extend the current font handling model:

  1. The static method DVIFont.getFont is used to load fonts. Given a font description, it returns an object of a class derived from DVIFont. This object must be able to provide an array of 0/1 values representing a given character from the font, as well as information about the dimensions of the character, its tfm width, etc.

  2. Using PKFont as a model, it should be very simple to write a GFFont class; this might be a good warmup exercise.

  3. If virtual fonts don't like being represented by bitmaps, then I don't know what to do. The current font handling model was not designed to handle anything else.