On Tue, Aug 17, 2004 at 09:54:42AM +0100, Angus Leeming wrote: > > rename ERT into P-ERT since they are only partially red nowadays > > What? What! > > Please revert this whilst you are sober. I do not want to explain this > 'improvement' to the bemused and confused on the lyx-users list.
Please remind me of this incident next time a Brit accuses a German of having no sense of humour. When I think about it: maybe we should just localize the heading of the Ex-ERT inset now. Btw, there is no way to get sober during the next few hours as Lars FallingOffTheSleigh forgot to take his allowed share of cola and beer back to Norway. Given that we need to get rid of the beverage now and cola is undrinkable when sober I'd suppose I should start with a few beer.... Andre' PS: We and we are still waiting for your official excuse for not showing up in Chemnitz.