<p>The word "extension" seems to be used differently maybe make it the same:<br>
"filename extension", "filetype extension", "file extension".</p>
<pre><code>Explicitly defines a filetype for the file, if it would not be detected by filename extension.
Note if you choose multiple files, they will all be opened with the chosen filetype.

Proxy plugin '%s' extension '%s' starts with a dot. Please fix your proxy plugin.

Path of the file representing the project and storing its settings. It should normally have the "%s" extension.

Unknown filetype extension for "%s".

Hide file extensions:
</code></pre>

<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/1792">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ_WpTUArBqPwOLY4CmiEqNy7vYxjks5tZ834gaJpZM4SYFZB">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJz2CwgQY6IW8frC3gakYQbiUZ7Apks5tZ834gaJpZM4SYFZB.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/issues/1792"></link>
  <meta itemprop="name" content="View Issue"></meta>
</div>
<meta itemprop="description" content="View this Issue 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":"DESCRIPTION","message":"The word extension is used differently (#1792)"}],"action":{"name":"View Issue","url":"https://github.com/geany/geany/issues/1792"}}}</script>