Is there a shell extension or some other way programmatic method to change the font of a specific filename, as it is displayed in a Windows explorer window?