Fixup: Defer UI updates to avoid locking against held non-reentrant lock
Description
Description
Details
Details
- Committed
Maximilian Schier <maximilian.schier@stud.uni-hannover.de> Jun 11 2020, 7:02 AM - Parents
- R37:3f3d802f6324: Toggle session manager button availability depending on session selection
- Branches
- Unknown
- Tags
- References
- refs/merge-requests/363/head, refs/keep-around/86ac5276f03b5c76c86f89fa14f935d6f94665f8