##// 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
/ ... / notebook / static / codemirror / lib / util
closetag.js Loading ...
dialog.css Loading ...
dialog.js Loading ...
foldcode.js Loading ...
formatting.js Loading ...
javascript-hint.js Loading ...
loadmode.js Loading ...
match-highlighter.js Loading ...
multiplex.js Loading ...
overlay.js Loading ...
pig-hint.js Loading ...
runmode.js Loading ...
search.js Loading ...
searchcursor.js Loading ...
simple-hint.css Loading ...
simple-hint.js Loading ...
xml-hint.js Loading ...