API Version: 41.0
Library Version: 41.0
void populate_popup ( IdeTerminal* self, GtkWidget* widget )
widget
GtkWidget