void gui_main_menu_video_keyframes_mark(gpointer callback_data, guint callback_action, GtkWidget *menu_item); void gui_main_menu_video_keyframes_load(gpointer callback_data, guint callback_action, GtkWidget *menu_item); void gui_main_menu_video_keyframes_save(gpointer callback_data, guint callback_action, GtkWidget *menu_item); void gui_main_menu_video_open(gpointer callback_data, guint callback_action, GtkWidget *menu_item); void gui_main_menu_video_close(GtkWidget *menu_item, guint callback_action); void gui_main_video_close(); void gtk_main_video_expose(GtkWidget *widget, GdkEventExpose *event, gpointer data); void gui_video_open(char *filename); void gui_main_menu_video_ahow_grid (gpointer callback_data, guint callback_action, GtkWidget *menu_item); void gui_main_menu_video_configure_grid (gpointer callback_data, guint callback_action, GtkWidget *menu_item); void gui_main_menu_video_openrecent(GtkWidget *menu, char *filename);