On Friday, March 18, 2022 at 6:12:29 PM UTC-5 Edward K. Ream wrote: > On Fri, Mar 18, 2022 at 3:57 PM [email protected] <[email protected]> > wrote: >
>> A gutsy move! Thank goodness for Version Control Systems, eh? > And the other tools. The risks in mass updates arise from checking large diffs. Rev 135c95d <https://github.com/leo-editor/leo-editor/commit/135c95df7316bfdb66dd91ee9ecda338dd0babaa> in devel adds the script "script: diff-two-revs-wo-comments" to scripts.leo. This script monkey-patches Leo's GitDiffController so that the diffs mostly ignore comments. This script makes the diffs for PR #2495 <https://github.com/leo-editor/leo-editor/pull/2495> much more manageable. The script isn't perfect, but imo it makes it possible to see whether changing comments may have inadvertently changed something else. Take a look if you like. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/e7c6be3f-b9f4-424a-a915-7c0d6357dac7n%40googlegroups.com.
