<blockquote>
<p>Personally I would be happy to remove the option and have searches always wrap, then we needs no dialogs</p>
</blockquote>
<p><g-emoji class="g-emoji" alias="+1" fallback-src="https://github.githubassets.com/images/icons/emoji/unicode/1f44d.png">👍</g-emoji></p>
<blockquote>
<p>but I understand that others may see it differently.</p>
</blockquote>
<p>As is often the case (didn't check here), stuff like this is just the way it is because that's how the person who wrote the code initially did it, and nobody bothered to improve it yet.</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/2160?email_source=notifications&email_token=AAIOWJ576YLZKTF4QFGLIMLPWXXUPA5CNFSM4HOUXHG2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODWAZX2I#issuecomment-495033321">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJYB3YCYVF5XOFF6PY3PWXXUPANCNFSM4HOUXHGQ">mute the thread</a>.<img src="https://github.com/notifications/beacon/AAIOWJZ3EIWAOLO4EYJ4LY3PWXXUPA5CNFSM4HOUXHG2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODWAZX2I.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/2160?email_source=notifications\u0026email_token=AAIOWJ576YLZKTF4QFGLIMLPWXXUPA5CNFSM4HOUXHG2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODWAZX2I#issuecomment-495033321",
"url": "https://github.com/geany/geany/issues/2160?email_source=notifications\u0026email_token=AAIOWJ576YLZKTF4QFGLIMLPWXXUPA5CNFSM4HOUXHG2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODWAZX2I#issuecomment-495033321",
"name": "View Issue"
},
"description": "View this Issue on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>