##// END OF EJS Templates
in %edit, don't save "last_call" unless last call succeeded...
in %edit, don't save "last_call" unless last call succeeded avoids failing calls to `%edit` from killing future `%edit -p` closes #2466
MinRK -
r9189:f2abc0f5
Show More
Name Size Modified Last Commit Author
/ ... / html / notebook / static / codemirror / keymap
emacs.js Loading ...
vim.js Loading ...