Searched refs:key_action_page_switch (Results 1 – 1 of 1) sorted by relevance
102 static int key_action_page_switch (GtkWidget * wid, GdkEventKey * evt,142 {key_action_page_switch, "Change Page",1170 key_action_page_switch (GtkWidget * wid, GdkEventKey * evt, char *d1, in key_action_page_switch() function