On Friday, May 10, 2024 at 8:47:46 AM UTC-5 Thomas wrote: Going by last night's devel rev, VR was close to working as expected when I used the toggle command, at least with the particular layout I was using when I tried it.
That's good to know. The branch for this PR, though, was a mess so I'm looking forward to your new approach. I'm not sure what you mean by a mess. PR #3906 <https://github.com/leo-editor/leo-editor/pull/3906/> cleans up a lot of cruft. In any case, there will still be work to do *after* the intermediate PR #3906 <https://github.com/leo-editor/leo-editor/pull/3906/> gets merged into devel and PR #3892 <https://github.com/leo-editor/leo-editor/issues/3892>. Let's take things one step at a time and test each step thoroughly. 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/7d60cc08-4e95-4fcf-9e91-e3c84b5e8187n%40googlegroups.com.
