ipython/ipython — pull request #1952 by minrk (2012-06-13 21:55:13+00:00)
Title: avoid duplicate "Websockets closed" dialog on ws close

Actual ws close (nb shutdown) would show the real message,
immediately followed by an empty dialog.

A reconnecting message is written to the notification area
when reconnect is attempted.