On Sat, 25 Jul 2015 16:11:20 +0200 win...@genial.ms 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 Freecol-developers@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/freecol-developers