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.

Paul Ivanov ad07d0cf44 fix for #1678, undo no longer clears cells ... I found another bug where switching the cell type causes the loss of all undo history for that cell. With this commit, switching the cell type simply resets the history		14 years ago
..
codemirror/mode/python	Updating CodeMirror to latest to incorporate bug fixes.	14 years ago
css	fix completer css on some Chrome versions	14 years ago
js	fix for #1678, undo no longer clears cells	14 years ago
favicon.ico	More review changes.	15 years ago