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.

Roman Kornev d3ce20738c Update text editor document.title		7 years ago
..
editor.js	Editor - Prompt warning when overwriting a file that is modified on disk (#2783)	8 years ago
main.js	Use `requirejs` vs. `require`	8 years ago
menubar.js	Switch back to "default" keycap	9 years ago
notificationarea.js	s/jupyter_notebook/notebook	11 years ago
savewidget.js	Update text editor document.title	7 years ago