<blockquote>
<p>So did you report that? I can't find an issue that fits.</p>
</blockquote>
<p>I don't think it is a problem. It is just I toggled the checkbutton in the UI logic. Should this change propagate automatically into the search logic?</p>
<blockquote>
<p>And it works for me with latest Geany git.</p>
</blockquote>
<p>If you delete .config/geany does it still work? It does not for me and I am working also with the git version of Geany.</p>
<blockquote>
<p>Well, you only have to set it once and its remembered.</p>
</blockquote>
<p>But why even set it once? What is the point in that? Should it not be on by default?</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/2109#issuecomment-475941673">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJwaOp_-axFLJSuXIW30dBzKaUTE2ks5vZ0K0gaJpZM4cE2IA">mute the thread</a>.<img src="https://github.com/notifications/beacon/ABDrJ6rPLukhciROs5n4aNGXW8YirMx2ks5vZ0K0gaJpZM4cE2IA.gif" height="1" width="1" alt="" /></p>
<script type="application/json" data-scope="inboxmarkup">{"api_version":"1.0","publisher":{"api_key":"05dde50f1d1a384dd78767c55493e4bb","name":"GitHub"},"entity":{"external_key":"github/geany/geany","title":"geany/geany","subtitle":"GitHub repository","main_image_url":"https://github.githubassets.com/images/email/message_cards/header.png","avatar_image_url":"https://github.githubassets.com/images/email/message_cards/avatar.png","action":{"name":"Open in GitHub","url":"https://github.com/geany/geany"}},"updates":{"snippets":[{"icon":"PERSON","message":"@crazyBaboon in #2109: \r\n\u003e So did you report that? I can't find an issue that fits.\r\n\r\nI don't think it is a problem. It is just I toggled the checkbutton in the UI logic. Should this change propagate automatically into the search logic?\r\n\r\n\u003e  And it works for me with latest Geany git.\r\n\r\nIf you delete .config/geany does it still work? It does not for me and I am working also with the git version of Geany.\r\n\r\n\u003e Well, you only have to set it once and its remembered.\r\n\r\nBut why even set it once? What is the point in that? Should it not be on by default?"}],"action":{"name":"View Pull Request","url":"https://github.com/geany/geany/pull/2109#issuecomment-475941673"}}}</script>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/geany/geany/pull/2109#issuecomment-475941673",
"url": "https://github.com/geany/geany/pull/2109#issuecomment-475941673",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>