I changed the default pgAdmin III's Database Designer's default font, which used to be MS Shell Dlg 2:
I cannot set it back to the default font, namely MS Shell Dlg 2. Why?
I don't see MS Shell Dlg 2 in the list of available fonts:
Typing MS Shell Dlg 2 myself does not work (it doesn't change the font):
Clicking on the "show more fonts" link also does show MS Shell Dlg 2:



