@techee some more thoughts on the extensions thing, IIRC in the past we have removed duplicate extensions because the order is (to the user) non-deterministic, probably best to not add *.pl to prolog.
Agree, removed.
--
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/3171#issuecomment-1112022219
You are receiving this because you are subscribed to this thread.
Message ID:
geany/geany/pull/3171/c1112022219@github.com