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.

Ben Zinberg cb385481f6 Fix place where we were passing an `Array[string]` to `CodeMirror.findModeByExtension` instead of passing a string. (I guess older versions of CodeMirror allowed this?)		6 years ago
..
dialog.js	Fixed issue #3983: Return focus to Not trusted notification when modal is closed (#4745)	7 years ago
events.js	Fix typos (#4760)	7 years ago
i18n.js	Work on loading UI translations (#2969)	8 years ago
keyboard.js	Fix typos (#4760)	7 years ago
namespace.js	Back to development version	6 years ago
notificationarea.js	remove webpack shims	9 years ago
notificationwidget.js	remove webpack shims	9 years ago
page.js	give Page constructor default arguments	8 years ago
promises.js	Add promise for notebook_loaded.Notebook event	9 years ago
security.js	Disable jQuery prefilter specifically to parse sanitized HTML (#29)	8 years ago
utils.js	Fix place where we were passing an `Array[string]` to `CodeMirror.findModeByExtension` instead of passing a string. (I guess older versions of CodeMirror allowed this?)	6 years ago