API Version: 45
Library Version: 45
Generated by gi-docgen 2023.3
void ide_run_context_push_user_shell ( IdeRunContext* self, IdeRunContextShell shell )
shell
Type: IdeRunContextShell
IdeRunContextShell
No description available.