<p></p>
<blockquote>
<p>Is it a good idea to place these additions both in the Preferences and View menu ? From what I can tell, many (or most) of the settings in View are duplicates of those in Preferences. Maybe would be better to have in Preferences only those that are not directly about Viewing the already-opened files.</p>
</blockquote>
<p>As I said I havn't looked at the changes, but the general principle is that <code>View</code> should change the UI layout immediately and the current state be saved and restored, like the checkbox on <code>Show Message window</code> etc.</p>
<blockquote>
<p>Unless I'm misunderstanding you: code folding enable/disable option is already present in Preferences</p>
</blockquote>
<p>To be clear the comment that it is a bad idea was a general one, not specifically aimed at this PR.</p>
<p>But it was meant to indicate that therefore the operations in the PR that depend on turning it off are less useful since it should only very rarely be turned off.</p>
<blockquote>
<p>I for one would prefer the docs to open in all-folded state (given that it's not possible/ too hard to implement remembering of folding state)</p>
</blockquote>
<p>IIUC fold state saving has been folded into (see what I did there ;-) both numbered bookmarks and workbench plugins.</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/pull/2927#issuecomment-939703551">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJ73RHOWYQTMEYRARDLUGJ4ARANCNFSM5FW5LAMQ">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/AAIOWJZEWOP5FA3S5SD4ROTUGJ4ARA5CNFSM5FW5LAM2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOHABLZ7Y.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/pull/2927#issuecomment-939703551",
"url": "https://github.com/geany/geany/pull/2927#issuecomment-939703551",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>