diff --git a/IPython/html/static/widgets/js/widget_int.js b/IPython/html/static/widgets/js/widget_int.js
index ab5962a..de27489 100644
--- a/IPython/html/static/widgets/js/widget_int.js
+++ b/IPython/html/static/widgets/js/widget_int.js
@@ -74,10 +74,15 @@ define([
else if(value < min){
value = min;
}
- this.model.set('value', value, {updated_view: this});
this.$slider.slider('option', 'value', value);
this.$readout.text(value);
- this.touch();
+
+ if(this.model.get('value')!=value) {
+ alert(this.model.get('value'));
+ this.model.set('value', value, {updated_view: this});
+ alert("touched");
+ this.touch();
+ }
// Use the right CSS classes for vertical & horizontal sliders
if (orientation=='vertical') {