Bjoern Giesler <Bjoern.Giesler@stud.uni-karlsruhe.de> wrote: > ;)) What I wanted to ask is: Is there an option for this, if yes, what's Not to my knowledge. > its name, and if no, should I write it? (Somebody else would have to Yes, that would be an interesting feature.