I simply submitted it as a suggested patch because the discussion at<br>
that time seemed to suggest that some may not want search to work that<br>
way. <br>
<br>
On 2019-01-26 06:46, elextr wrote:<br>
<br>
&gt; @Haburaku [1] to be clear, AFAIK nobody has made a pull request to add the functionality to Geany, so it will not be in Geany git. <br>
&gt; <br>
&gt; @kenshail [2] modified his own copy, not Geanys. <br>
&gt; <br>
&gt; --<br>
&gt; You are receiving this because you were mentioned.<br>
&gt; Reply to this email directly, view it on GitHub [3], or mute the thread [4].<br>
<br>
 <br>
<br>
Links:<br>
------<br>
[1] https://github.com/Haburaku<br>
[2] https://github.com/kenshail<br>
[3] https://github.com/geany/geany/issues/758#issuecomment-457807838<br>
[4]<br>
https://github.com/notifications/unsubscribe-auth/AFjqT_royl9Bqj6mwrssPnnhJnbuPB61ks5vG_ncgaJpZM4GiYsG

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">&mdash;<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/758#issuecomment-457808367">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ9kM4nNiFSp2c9KQHgWAY2-JgMBmks5vG_xigaJpZM4GiYsG">mute the thread</a>.<img src="https://github.com/notifications/beacon/ABDrJ-UIJAHk3p0_E-NPUM0VGCUzoB6xks5vG_xigaJpZM4GiYsG.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":"@kenshail in #758: I simply submitted it as a suggested patch because the discussion at\nthat time seemed to suggest that some may not want search to work that\nway. \n\nOn 2019-01-26 06:46, elextr wrote:\n\n\u003e @Haburaku [1] to be clear, AFAIK nobody has made a pull request to add the functionality to Geany, so it will not be in Geany git. \n\u003e \n\u003e @kenshail [2] modified his own copy, not Geanys. \n\u003e \n\u003e --\n\u003e You are receiving this because you were mentioned.\n\u003e Reply to this email directly, view it on GitHub [3], or mute the thread [4].\n\n \n\nLinks:\n------\n[1] https://github.com/Haburaku\n[2] https://github.com/kenshail\n[3] https://github.com/geany/geany/issues/758#issuecomment-457807838\n[4]\nhttps://github.com/notifications/unsubscribe-auth/AFjqT_royl9Bqj6mwrssPnnhJnbuPB61ks5vG_ncgaJpZM4GiYsG"}],"action":{"name":"View Issue","url":"https://github.com/geany/geany/issues/758#issuecomment-457808367"}}}</script>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/geany/geany/issues/758#issuecomment-457808367",
"url": "https://github.com/geany/geany/issues/758#issuecomment-457808367",
"name": "View Issue"
},
"description": "View this Issue on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>