On Saturday, July 25, 2020 at 9:03:53 AM UTC-5, Edward K. Ream wrote: > This concludes #1269 <https://github.com/leo-editor/leo-editor/issues/1269>: refactor Leo's key-handling code.
Rev 64c49da6 in devel restores an important key binding that was reverted when merging the "keys" branch into devel. The new binding is in leoSettings.leo, in the node @keys EKR bindings-->@shortcuts Text operations old: newline-and-indent = !text = Tab new: indent-region = !text = Tab You will probably want to make a similar change in your myLeoSettings.leo file if you don't use the EKR bindings. Edward P. S. I am alarmed by the potential loss of data when merging git branches. When I merged the "keys" branch into devel I mistakenly resolved a merge conflict by taking devel's version of leoSettings.leo. That was just wrong. After deleting the "keys" branch, there seems to be no way recover the lost key bindings. I would have thought that the git merge would have preserved all previous changes to leoSettings.leo, but I was not able to see those changes. Fortunately, the required change could easily be deduced. Hmm. Perhaps creating a PR, as I should have done, would have fixed the problem. Yes, I think so. The PR would have recorded the contents of leoSettings.leo, without knowing that a conflict would have resulted. EKR -- 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/d35240c0-769c-4b84-8eae-89aca3028388o%40googlegroups.com.
