void gui_main_menu_navigation_next_row(gpointer callback_data, guint callback_action, GtkWidget *menu_item);
void gui_main_menu_navigation_previous_row(gpointer callback_data, guint callback_action, GtkWidget *menu_item);
void gui_main_menu_navigation_page_up(gpointer callback_data, guint callback_action, GtkWidget *menu_item);
void gui_main_menu_navigation_page_down(gpointer callback_data, guint callback_action, GtkWidget *menu_item);
void gui_main_menu_navigation_top(gpointer callback_data, guint callback_action, GtkWidget *menu_item);
void gui_main_menu_navigation_bottom(gpointer callback_data, guint callback_action, GtkWidget *menu_item);