Add the process ID to the session header
Description
Description
Details
Details
- Committed
rempt Jan 15 2020, 9:53 AM - Parents
- R37:b12857f6997f: Check whether there are any mainwindows before taking the first
- Branches
- Unknown
- Tags
- References
- refs/keep-around/825c14450da62cea527f859ef9ee3e2b73dacdb4