Searched defs:refresh_menu (Results 1 – 1 of 1) sorted by relevance
303 static void refresh_menu( GtkWidget *pMenu ) in refresh_menu() function
Completed in 17 milliseconds