On Thu, 23 Jan 2003, Andre Poenitz wrote:

> This seems somehow related to "undo" as the debugger is usually there when
> this happens but I have really no clue.

Should I file a bug in bugzilla then?

Joćo.

Reply via email to