/* Header file for "About" window */

extern GtkWidget *about_win; /* window handle */
extern void about(); /* "About" window creation procedure */