--- dreal/src/GMX_motif.c.orig	Mon Sep 30 13:20:09 2002
+++ dreal/src/GMX_motif.c	Thu May 26 15:04:30 2005
@@ -92,7 +92,6 @@
 
          {
            "*.DrealMainWindow.iconName : Dreal",
-           "*DrealMenuBar*fontList     : -*-helvetica-bold-r-*--14-*", 
            "*foreground                : black",
            "*background                : gray",
            "*fontList                  : -*-helvetica-medium-r-*--12-*",
--- graal/src/GMX_motif.c.orig	Mon Sep 30 13:20:38 2002
+++ graal/src/GMX_motif.c	Thu May 26 15:04:42 2005
@@ -92,7 +92,6 @@
 
          {
            "*.GraalMainWindow.iconName : Graal",
-           "*GraalMenuBar*fontList     : -*-helvetica-bold-r-*--14-*", 
            "*foreground                : black",
            "*background                : gray",
            "*fontList                  : -*-helvetica-medium-r-*--12-*",
--- xfsm/src/XMX_motif.c.orig	Mon Sep 30 13:21:40 2002
+++ xfsm/src/XMX_motif.c	Thu May 26 15:04:46 2005
@@ -93,7 +93,6 @@
 
          {
            "*.XfsmMainWindow.iconName : Xfsm",
-           "*XfsmMenuBar*fontList     : -*-helvetica-bold-r-*--14-*", 
            "*foreground                : black",
            "*background                : gray",
            "*fontList                  : -*-helvetica-medium-r-*--12-*",
--- xpat/src/XMX_motif.c.orig	Mon Sep 30 13:21:47 2002
+++ xpat/src/XMX_motif.c	Thu May 26 15:04:52 2005
@@ -91,7 +91,6 @@
 
          {
            "*.XpatMainWindow.iconName : Xpat",
-           "*XpatMenuBar*fontList     : -*-helvetica-bold-r-*--14-*", 
            "*foreground                : black",
            "*background                : gray",
            "*fontList                  : -*-helvetica-medium-r-*--12-*",
--- xsch/src/XMX_motif.c.orig	Mon Sep 30 13:21:58 2002
+++ xsch/src/XMX_motif.c	Thu May 26 15:05:02 2005
@@ -92,7 +92,6 @@
 
          {
            "*.XschMainWindow.iconName : Xsch",
-           "*XschMenuBar*fontList     : -*-helvetica-bold-r-*--14-*", 
            "*foreground                : black",
            "*background                : gray",
            "*fontList                  : -*-helvetica-medium-r-*--12-*",
--- xvpn/src/XMX_motif.c.orig	Mon Sep 30 13:22:14 2002
+++ xvpn/src/XMX_motif.c	Thu May 26 15:05:06 2005
@@ -92,7 +92,6 @@
 
          {
            "*.XvpnMainWindow.iconName : Xvpn",
-           "*XvpnMenuBar*fontList     : -*-helvetica-bold-r-*--14-*", 
            "*foreground               : black",
            "*background               : gray",
            "*fontList                 : -*-helvetica-medium-r-*--12-*",