Closed dsummersl closed 2 years ago
This PR adds the optimizations suggested by @resolritter
Also fixes small bug I noticed in big undos (the 'manual' diff folding might mark some undo messages as folded...we should disable folding altogether in the undotree).
This PR adds the optimizations suggested by @resolritter
Also fixes small bug I noticed in big undos (the 'manual' diff folding might mark some undo messages as folded...we should disable folding altogether in the undotree).