ID fonts

This menu allows to change the font used to write in the block identifications (see "Set block ID" menu).

Ramine Nikoukhah 2004-06-22