> 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/c2160185...@github.com>