callbacks.h

Go to the documentation of this file.

int change_main_window_title (Widget *widget, char *filename);


/* EOF */