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