From 38abb2eed46cbc20415564506e422d839f85591b 2015-02-16 05:25:27
From: Sylvain Corlay <sylvain.corlay@gmail.com>
Date: 2015-02-16 05:25:27
Subject: [PATCH] wrong css class for widget-int

---

diff --git a/IPython/html/static/widgets/js/widget_int.js b/IPython/html/static/widgets/js/widget_int.js
index ae7d2dd..55af301 100644
--- a/IPython/html/static/widgets/js/widget_int.js
+++ b/IPython/html/static/widgets/js/widget_int.js
@@ -290,7 +290,7 @@ define([
              * Called when view is rendered.
              */
             this.$el
-                .addClass('widget-hbox widget-text');
+                .addClass('widget-hbox widget-numeric-text');
             this.$label = $('<div />')
                 .appendTo(this.$el)
                 .addClass('widget-label')