I couldn't find it on an issue, but my issue search is notoriously bad, however I suspect it was on the mailing list.
I personally agree that session and config information should be separated, but IIRC one problem is issues around handling projects similarly (since projects also save session info). But there could be other unresolved points that I don't remember.
Also there is a suggestion to use gsettings instead, see #1257
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.