<p></p>
<blockquote>
<p>Where is the preference set? It should be on the find dialog not just read from the config file.</p>
</blockquote>
<p>Since I don't think there is a need to often turn on/off this preference, I don't think we should extend the search/replace dialog with this setting, so I choosed the way of making it a hidden preference. It can be found and easily toggled at <em>Edit > Preferences > Various</em>, so there is no need to manually edit any config files.</p>
<blockquote>
<p>There has been no discussion about it applying to replace.</p>
</blockquote>
<p>I don't think users which want to use this preference want a different behaviour between search/replace, so the setting applies to both of them. However, it would be no problem to make two hidden preferences if needed.</p>
<blockquote>
<p>Needs to be documented in the manual (no it can't be left, it will be forgotten, answering your question from <a class="issue-link js-issue-link" data-error-text="Failed to load title" data-id="770286561" data-permission-text="Title is private" data-url="https://github.com/geany/geany/issues/2693" data-hovercard-type="issue" data-hovercard-url="/geany/geany/issues/2693/hovercard" href="https://github.com/geany/geany/issues/2693">#2693</a>).</p>
</blockquote>
<p>Okay, then I will create a new PL with the second commit which updates the manual.</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/2695#issuecomment-748681297">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJYBYOIRDWHGEEKKSFDSVZ4QZANCNFSM4VDNEJ6A">unsubscribe</a>.<img src="https://github.com/notifications/beacon/AAIOWJ2U43PCBGSAAASLU5LSVZ4QZA5CNFSM4VDNEJ6KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOFSP7QUI.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/2695#issuecomment-748681297",
"url": "https://github.com/geany/geany/pull/2695#issuecomment-748681297",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>