On 27/04/2011 13:34, Martin wrote: > On 27/04/2011 13:23, Bernd wrote: >> Is there currently some unfinished work going on in trunk in >> debugger.pp? I get the following: > Ah, well > that would be a bug... Try rev 30489 please