API Version: 47
Library Version: 47
Generated by gi-docgen 2023.3
void ide_workspace_add_overlay ( IdeWorkspace* self, GtkWidget* widget )
widget
Type: GtkWidget
GtkWidget
No description available.