It's like the project's name: The name of the font is hardcoded in various places, and I don' know how to change it. This needs a hacker which knows the internals of Wormux.
Yours, Robert Clausecker PS: German translation is up-to-date. _______________________________________________ Warmux-dev mailing list Warmux-dev@gna.org https://mail.gna.org/listinfo/warmux-dev