Merge pull request #3125 from kugel-/project_session
commit22aac4436da749d69aa1b330feb517ad0a4bac74
authorThomas Martitz <thomas.martitz@mailbox.org>
Fri, 4 Mar 2022 23:03:19 +0000 (5 00:03 +0100)
committerGitHub <noreply@github.com>
Fri, 4 Mar 2022 23:03:19 +0000 (5 00:03 +0100)
treeccaf4296b8b883d0c6cef2207f2a9908709e85c1
parentbe739e28a6e29aeb08912af36620a4fb78b31176
parent27982f333d731607e6efcf83d03a6129f45ef05e
Merge pull request #3125 from kugel-/project_session

Save & restore default session independently of projects (fixes #267)