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