[Github-comments] [geany/geany] The word extension is used differently (#1792)

[scootergrisen]

The word "extension" seems to be used differently maybe make it the same:
"filename extension", "filetype extension", "file extension".

```
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:
```

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/1792
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20180301/0e36cb70/attachment.html>