From 31ee57656f0c92e4c5196c1f508690a5eb863bbc 2014-09-25 23:33:05
From: Jessica B. Hamrick <jhamrick@berkeley.edu>
Date: 2014-09-25 23:33:05
Subject: [PATCH] Small changes to notification widget

---

diff --git a/IPython/html/static/notebook/js/notificationwidget.js b/IPython/html/static/notebook/js/notificationwidget.js
index b148cb4..a3688f7 100644
--- a/IPython/html/static/notebook/js/notificationwidget.js
+++ b/IPython/html/static/notebook/js/notificationwidget.js
@@ -90,7 +90,7 @@ define([
 
         // bind the click callback if it is given
         if (click_callback !== undefined) {
-            this.element.click(function() {
+            this.element.click(function () {
                 if (click_callback() !== false) {
                     that.element.fadeOut(100, function () {that.inner.text('');});
                 }
@@ -105,7 +105,8 @@ define([
 
     /**
      * Display an information message (styled with the 'info'
-     * class). Arguments are the same as in set_message.
+     * class). Arguments are the same as in set_message. Default
+     * timeout is 3500 milliseconds.
      *
      * @method info
      */