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