You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Matthias Bussonnier 4e2dfe2527
Some code cleanup in javascript and python
11 years ago
..
init.js Merge remote-tracking branch 'public-upstream/master' into links-rebase 11 years ago
manager.js Make widgets persist across page refresh 11 years ago
widget.js Some code cleanup in javascript and python 11 years ago
widget_bool.js Fix padding of widgets. 11 years ago
widget_box.js Some code cleanup in javascript and python 11 years ago
widget_button.js Ran function comment conversion tool 11 years ago
widget_float.js Ran function comment conversion tool 11 years ago
widget_image.js Ran function comment conversion tool 11 years ago
widget_int.js Some code cleanup in javascript and python 11 years ago
widget_link.js on("destroy",...) -> once("destroy",...) so we don't keep a reference to it, preventing gc 11 years ago
widget_output.js Ran function comment conversion tool 11 years ago
widget_selection.js Merge pull request #6747 from jdfreder/combofix 11 years ago
widget_selectioncontainer.js Some code cleanup in javascript and python 11 years ago
widget_string.js Fix padding of widgets. 11 years ago