>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> Yes... and it does fix the most annoying, original bug: those Martin> default langauge bluelines popping up all over the place if Martin> the doc language is different. Martin> Jean-Marc, Lars? Can this go in? It is OK with me. JMarc
