Here is the merge_cells function: https://github.com/jupyter/notebook/blob/master/notebook/static/notebook/js/notebook.js#L1740-L1787 Member Carreau commented Jul 25, 2017 Yes, if you call, doc.clearHistory(), it should prevent to Ctrl-Z to before the merge to an empty state. g...
Problem On the "Find" action, the browser scrolls to the found position. (So we can do it.) On the "Undo" action, the browser doesn't scroll to the cursor-after-undo position. Proposed Solution On the "Undo" action, scroll to the cursor-...