[Remove] in [WinJFont]


If the displayed TeX font (jfm/tfm) is mapped to the displayed Windows font, this mapping is deleted and the displayed TeX font is removed from the list by [Remove].

If the displayed Windows font is not mapped to any TeX font (jfm/tfm), the font is removed from the list by [Remove].

In either of the above cases, the font to be removed is displayed and a prompt asks whether to remove it from the list.  If neither of the above happens, the mapping is not changed, but the display changes to the mapped font.