PR #3215 <https://github.com/leo-editor/leo-editor/pull/3215> is indeed large and complicated. Here are the reasons why:
1. It had to be. Many files use unls, some in unexpected ways. 2. There was no reason to be overly fastidious. I knew PR #3215 would succeed. Adding other PRs would have slowed me down. 3. Some changes could not be made outside the PR because they relied on code defined only in the PR. 4. The PR's size doesn't matter: - Leo's *git-diff-pr* command creates an outline that you can search using cff. Want to see a deleted kwarg? Just search the Leonine diffs. - *git bisect* will find the root of any bug anywhere in Leo's history. *Summary* PR #3215 inherently affects many files. I knew that PR #3215 would succeed. There was no need to fear impossible-to-correct bugs. 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/b5b8a6c3-6e8f-4560-bb73-b04dcd2a0ee9n%40googlegroups.com.
