Session not always saved

Solved bugs are moved into this topic...
Post Reply
tmsg
Posts: 120
Joined: 20.05.2020 12:08

Session not always saved

Post by tmsg »

This is a hard one as it's not easily repro'ed. Sometimes, when I close Cud with no explicit session file loaded, the changes in the current session (which should be saved in "history session.json") are not saved at all. Upon restarting Cud I get the session as it was when Cud was loaded last time, ie I start Cud and have three files t{1,2,3}.txt loaded. I close t2.txt and load t4.txt and close and restart Cud and get t{1,2,3}.txt.

Alas, this does not happen always. Sometimes a changed session is indeed saved but I can't see any logic or pattern to this.

There's a hint though: This happens both with Windows and Linux, v113.2, but it doesn't happen with v107.

Any ideas?
tmsg
Posts: 120
Joined: 20.05.2020 12:08

Post by tmsg »

I've seen that there's a new option "ui_reopen_session_cmdline": false and I think this may have something to do with my problem. I am looking whether setting this to true has any effect and will report back.
Post Reply