On Friday, April 26, 2024 at 2:50:16 PM UTC-5 Edward K. Ream wrote: > I'm convinced. Replacing the body pane is a preference worth considering.
See #3892 <https://github.com/leo-editor/leo-editor/issues/3892>. The corresponding PR will make minimal changes to Leo's core and the VR and VR3 plugins. Your comments, please. 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/e46da8a5-b107-4148-af81-21315e2a73f5n%40googlegroups.com.