From f8e094ed12b42fb801bce9ddc2e59c985dbad728 2014-10-03 16:41:34 From: Sylvain Corlay Date: 2014-10-03 16:41:34 Subject: [PATCH] adding a tooltip in IPython buttons --- diff --git a/IPython/html/static/widgets/js/widget_button.js b/IPython/html/static/widgets/js/widget_button.js index ddae4d8..9f9c097 100644 --- a/IPython/html/static/widgets/js/widget_button.js +++ b/IPython/html/static/widgets/js/widget_button.js @@ -12,7 +12,7 @@ define([ // Called when view is rendered. this.setElement($("