On Sat, 25 Jul 2015 16:11:20 +0200 [email protected] wrote: > I read the diff and I was actually thinking of only replacing > the triple dot character with 3 normal dots so as to not disturb > the translations (some wording may look wrong after deleting the dots).
I wondered about that, but AFAICT the messages in question are just centered at the head of their panel. Losing the dots is unlikely to be harmful. > There is also the > more=more... I could not find any case where we use that in a header. Cheers, Mike Pope
pgpiXb9gyhg1z.pgp
Description: OpenPGP digital signature
------------------------------------------------------------------------------
_______________________________________________ Freecol-developers mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/freecol-developers
