It is very hard to debug if the proxy plugin happens to give extensions starting with a dot. If they do, detect this case, warn in the debug messages, and fix the extension. It seems unlikely that files with two dot extensions will be desired, so it should case no harm.
Note that it is documented to provide extensions without the dots, but it's easy to miss that one place (and in the proxy howto). IMO, we should at least print a warning for this case if not also fix the extension like in this PR. You can view, comment on, or merge this pull request online at: https://github.com/geany/geany/pull/1212 -- Commit Summary -- * Gracefully handle proxies registering invalid extensions -- File Changes -- M src/plugins.c (14) -- Patch Links -- https://github.com/geany/geany/pull/1212.patch https://github.com/geany/geany/pull/1212.diff -- 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/pull/1212
