Hi Ueli,
The window should refresh itself automatically, exactly as you expect.
I have tested and found that in general this happens correctly.
However, if you have used Undo or Redo on a change, then the update unfortunately doesn't happen as it should.
This will be fixed in the next maintenance release.
Best regards,
Finn
Edited 2 time(s). Last edit at 03/21/2012 05:57PM by finn.