ipython/ipython — pull request #5283 by takluyver (2014-03-05 23:36:02+00:00)
Title: Remove Widget.closed attribute

Still to decide: is `closed` something we want to be part of the public API of a widget? If so, I'll bring it back as a property.

Closes gh-5282