--- a/Debugger/DebugUI.py Mon May 16 19:49:25 2011 +0200 +++ b/Debugger/DebugUI.py Fri May 20 18:44:57 2011 +0200 @@ -1947,7 +1947,7 @@ curr, True) if ok: - if arg.isNull(): + if not arg: return # This moves any previous occurrence of this expression to the head @@ -1976,7 +1976,7 @@ curr, True) if ok: - if stmt.isNull(): + if not stmt: return # This moves any previous occurrence of this statement to the head