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.
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3849#issuecomment-2159556032 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/3849/[email protected]>
