Comment 26 for bug 278423

Hi, you are right, it's not a default font on Win32, but it's the one I use. You can replace that with any avaiable font on your system by typing in the name. If there is a font chooser menu for the extension dialogues, obviously that would be better. Feel free to replace with any font that is universally available.

As for the reset button, that's a good idea, but I don't think the extension dialogues have that feature (yet). I would say that it is a good idea for all extensions to have that feature.