That is correct, the "set as default" option changes the font for all windows of that type that are set to use the "default" font. If you have previously chosen a specific font for a window, it will not be changed in the above case since it is not set to use a default font. To make this window use a default font, you would need to open the font dialog for the window and set the "Use default" option.