GtkWidget *create_main_window(void);
void add_directory_to_dirlist(const char *dirname);