am 16d7ffc5: Adding some dump() logging regarding deleted widgets

* commit '16d7ffc5d55cc69ddd5a7854f138b2d8cc0a7635':
  Adding some dump() logging regarding deleted widgets