Add version trait to Widget base,

jdfreder · jdfreder · commit de149ca314ce · 2014-10-13T11:52:19.000-07:00
From widget Trello: version numbers for widget models;
when reloaded, will give the widget a chance to do
something intelligent or fail (by default) if the
version number doesn't match.
diff --git a/IPython/html/widgets/widget.py b/IPython/html/widgets/widget.py
@@ -107,6 +107,7 @@ def _call_widget_constructed(widget):
     msg_throttle = Int(3, sync=True, help="""Maximum number of msgs the 
         front-end can send before receiving an idle msg from the back-end.""")
     
+    version = Int(0, sync=True, help="""Widget's version""")
     keys = List()
     def _keys_default(self):
         return [name for name in self.traits(sync=True)]
