API Version: 47
Library Version: 47
Generated by gi-docgen 2024.1
void add_overlay ( IdeWorkspace* self, GtkWidget* overlay )
No description available.
overlay
Type: GtkWidget
GtkWidget