Thanks for pointing that out, @lastonestanding. Indeed, I've just looked up option --fast in the manual:
This instructs the session manager not to save the session, but instead to quit everything quickly
So the default behavior is to save the session. Perhaps this should be explicitly stated in the man page, to avoid misunderstandings like mine.
I suppose this bug can be closed.
Thanks for pointing that out, @lastonestanding. Indeed, I've just looked up option --fast in the manual:
This instructs the session manager not to save the session, but instead to quit everything quickly
So the default behavior is to save the session. Perhaps this should be explicitly stated in the man page, to avoid misunderstandings like mine.
I suppose this bug can be closed.