--- src/menu.c.orig	Mon Sep 20 13:40:07 1999
+++ src/menu.c	Mon Sep 20 13:40:47 1999
@@ -202,9 +202,11 @@
    gtk_menu_item_set_submenu (GTK_MENU_ITEM (item), file_menu);
    gtk_menu_bar_append (GTK_MENU_BAR (menu_bar), item);
 
+#if defined(NETSCAPE)
    item = gtk_menu_item_new_with_label (_("Themes"));
    gtk_menu_item_set_submenu (GTK_MENU_ITEM (item), themes_menu);
    gtk_menu_bar_append (GTK_MENU_BAR (menu_bar), item);
+#endif /* defined(NETSCAPE) */
 
    item = gtk_menu_item_new_with_label (_("Help"));
    gtk_menu_item_set_submenu (GTK_MENU_ITEM (item), help_menu);