##// END OF EJS Templates
widget_selection update...
widget_selection update Fix for the fact that dictionary randomization sometimes switches the order of the arguments passed to the class on initialization. This means that, potentially, 'value' can be updated BEFORE 'values', and since the method to update 'value' checks to see whether it exists in 'values', this breaks things.
jdavidheiser -
r16192:047755f2
Show More
Name Size Modified Last Commit Author
/ IPython / html / templates
404.html Loading ...
error.html Loading ...
login.html Loading ...
logout.html Loading ...
notebook.html Loading ...
page.html Loading ...
tree.html Loading ...