<blockquote>
<p>Read the comments in the linked <a href="https://github.com/geany/geany/pull/1233" class="issue-link js-issue-link" data-url="https://github.com/geany/geany/issues/1233" data-id="177386393" data-error-text="Failed to load issue title" data-permission-text="Issue title is private">#1233</a>. A better question is why do you want to match file extensions at all? They aren't unique enough to decide whether a file is for a given proxy and you have to check them further in the probe() function anyway.</p>
</blockquote>

<p>I couldn't find an answer, other than you're thinking it's unnecessary.</p>

<p>The idea was to pre-filter inside so that not every proxy has to inspect every filename, since I expect that any given proxy would at least look at the file extension.</p>

<p>It's true that peasy also looks again at the specific extension, but it can assume the file name has one at all (data files of other plugins could have no extension) and it's one of the registered ones which already helps.</p>

<p>FWIW, I don't oppose this change here, it just seems overkill at this point but I can see that it potentially becomes handy, especially if we get more proxies that handle the same file type (e.g. peasy and geanypy handle *.py, peasy, geany++ and geany itself handle *.so).</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/1236#issuecomment-253711047">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ_1HuLdxvD2fQQZqVaEtpTZpHvSDks5qzw8KgaJpZM4J_6i1">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJxz1Dcn2YLs383aaZkkObvryVHw6ks5qzw8KgaJpZM4J_6i1.gif" width="1" /></p>
<div itemscope itemtype="http://schema.org/EmailMessage">
<div itemprop="action" itemscope itemtype="http://schema.org/ViewAction">
  <link itemprop="url" href="https://github.com/geany/geany/pull/1236#issuecomment-253711047"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>

<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://cloud.githubusercontent.com/assets/143418/17495839/a5054eac-5d88-11e6-95fc-7290892c7bb5.png","avatar_image_url":"https://cloud.githubusercontent.com/assets/143418/15842166/7c72db34-2c0b-11e6-9aed-b52498112777.png","action":{"name":"Open in GitHub","url":"https://github.com/geany/geany"}},"updates":{"snippets":[{"icon":"PERSON","message":"@kugel- in #1236: \u003e Read the comments in the linked #1233. A better question is why do you want to match file extensions at all? They aren't unique enough to decide whether a file is for a given proxy and you have to check them further in the probe() function anyway.\r\n\r\nI couldn't find an answer, other than you're thinking it's unnecessary.\r\n\r\nThe idea was to pre-filter inside so that not every proxy has to inspect every filename, since I expect that any given proxy would at least look at the file extension.\r\n\r\nIt's true that peasy also looks again at the specific extension, but it can assume the file name has one at all (data files of other plugins could have no extension) and it's one of the registered ones which already helps.\r\n\r\nFWIW, I don't oppose this change here, it just seems overkill at this point but I can see that it potentially becomes handy, especially if we get more proxies that handle the same file type (e.g. peasy and geanypy handle *.py, peasy, geany++ and geany itself handle *.so)."}],"action":{"name":"View Pull Request","url":"https://github.com/geany/geany/pull/1236#issuecomment-253711047"}}}</script>