GtkWidget* create_wnd_about (void);