Oh, ok I think I have understood the workaround, but I don't want to compile the changed debuggerstate.cpp for own use because then I would not be able to use later nighly builds.
Instead, I wait until the problem is fixed officially.
pitti platsch
Ps: Why was this else-block included in debuggerstate.cpp, if it does not work?