xt_or_gtk_widget   49 src/xterm.h    typedef Widget xt_or_gtk_widget;
xt_or_gtk_widget   67 src/xterm.h    typedef GtkWidget *xt_or_gtk_widget;