Hugo Locurcio e2c17a8a0b Add TextServer.get_short_name() and use it in --text-driver ...

This makes it easier to select TextServers on the command line.
Instead of having to enter the full name in quotes, you can now
just use `advanced`, `fallback` or `dummy` (lowercase).

2025-11-28 18:22:33 +01:00

..

classes

Add TextServer.get_short_name() and use it in --text-driver

2025-11-28 18:22:33 +01:00

tools

SCons: Integrate annotations where relevant

2025-11-22 13:22:31 -06:00

translations

i18n: Sync translations with Weblate

2025-09-30 13:32:35 +02:00

class.xsd

…

Doxyfile

…

Makefile

…