I love all this, hey, the font name is in the INI file, but instead of simply you know, doing the obvious thing and changing the INI file, let's define a new font substitute!
This is the POINT of INI Files. Why not change the INI file, or is this entire solution derived simply to make it possible to change the font EASILY via the registry? It IS possible to change a INI file via Batch.