Searched refs:push_backpage (Results 1 – 1 of 1) sorted by relevance
2359 static void push_backpage (GtkWidget *w, int pg) in push_backpage() function4461 push_backpage(hwin->text, hwin->active_var); in set_help_topic_buffer()