API Version: 3.0
Library Version: 3.24
Generated by gi-docgen 2024.2
void selection_done ( GtkMenuShell* menu_shell )
No description available.