--- a/src/ui.h Sat Nov 02 19:33:33 2002 +0000
+++ b/src/ui.h Sun Nov 03 01:19:45 2002 +0000
@@ -102,7 +102,7 @@
char name[80];
GtkWidget *toolbar;
GtkWidget *text;
-// GtkWidget *entry;
+/* GtkWidget *entry; */
GtkWidget *italic;
GtkWidget *bold;
GtkWidget *underline;