<p></p>
<p dir="auto">I like options because they preserve different use cases.  Save location is extremely easy to change.  If you want side-by-side files, you can have it via an option.  Let other people store their sessions elsewhere.  If you insist on not providing options, you're bascally saying everyone should be forced to use your personal preferences.</p>
<blockquote>
<p dir="auto">I mostly dislike the design that sessions are stored somewhere deeply in .config about which users don't know and which is quite fragile.</p>
</blockquote>
<p dir="auto">That's part of why I suggested <code>.config</code>.  It's a well known location that's easy to find and not deeply nested.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/geany/geany/issues/3015#issuecomment-980547937">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJ4QK4P5XZOXFAMNQATUODCIRANCNFSM5ISB55XQ">unsubscribe</a>.<br />Triage notifications on the go with GitHub Mobile for <a href="https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675">iOS</a> or <a href="https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub">Android</a>.
<img src="https://github.com/notifications/beacon/AAIOWJ7EJER7ZQDXD3YUCC3UODCIRA5CNFSM5ISB55X2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOHJY7SYI.gif" height="1" width="1" alt="" /></p>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/geany/geany/issues/3015#issuecomment-980547937",
"url": "https://github.com/geany/geany/issues/3015#issuecomment-980547937",
"name": "View Issue"
},
"description": "View this Issue on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>