! *menubar*FontSet: -*-helvetica-bold-r-*-*-*-120-*-*-*-*-iso8859-*, \
! -*-*-*-*-*-*-*-120-*-jisx0208.1983-0
!
-*menubar*Font: -*-helvetica-bold-r-*-*-*-120-*-*-*-*-iso8859-*
+*menubar*Font: -*-helvetica-bold-r-*-*-*-120-*-*-*-*-iso8859-*
*popup*Font: -*-helvetica-bold-r-*-*-*-120-*-*-*-*-iso8859-*
+*menubar*FontSet: -*-helvetica-bold-r-*-*-*-120-*-*-*-*-iso8859-*, \
+ -*-*-*-*-*-*-*-120-*-iso10646-1, \
+ -*-*-*-*-*-*-*-120-*-jisx0208.1983-0, \
+ -*-*-*-*-*-*-*-120-*-jisx0201.1976-0
+*popup*FontSet: -*-helvetica-bold-r-*-*-*-120-*-*-*-*-iso8859-*, \
+ -*-*-*-*-*-*-*-120-*-iso10646-1, \
+ -*-*-*-*-*-*-*-120-*-jisx0208.1983-0, \
+ -*-*-*-*-*-*-*-120-*-jisx0201.1976-0
! Gui elements share this font
!