##// 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.

File last commit:

r14009:6f019b30
r16192:047755f2
Show More
__main__.py
3 lines | 105 B | text/x-python | PythonLexer
if __name__ == '__main__':
from IPython.html import notebookapp as app
app.launch_new_instance()