Having human readable names for extensions is useful in many ways, even just having something to debug print, so @b4n is right, adding a name now is a good idea and we can then use it lots of ways.
OK, done.
--
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/3849#issuecomment-2160185414
You are receiving this because you are subscribed to this thread.
Message ID:
geany/geany/pull/3849/c2160185414@github.com