##// END OF EJS Templates
Backport PR #3939: minor checkpoint cleanup...
Backport PR #3939: minor checkpoint cleanup - remember list of checkpoints browser-side - don't clobber list when a new checkpoint is created - cleanup references in MenuBar restore list. There was a closure issue, where multiple menu items would actually all restore the same checkpoint. Issues revealed by rgbkrk/bookstore, which supports multiple checkpoints. I'm fine if this doesn't get into 1.0, given timing.

File last commit:

r2009:2a0ba18d
r12127:85897890
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer