xt_or_gtk_widget   65 src/xterm.h    typedef Widget xt_or_gtk_widget;
xt_or_gtk_widget   83 src/xterm.h    typedef GtkWidget *xt_or_gtk_widget;