On Thursday, May 23, 2024 at 2:16:00 PM UTC-5 Edward K. Ream wrote: On Thu, May 23, 2024 at 10:39 AM Thomas wrote:
[The free_layout.get_top_splitter] method is used by the *richtext* plugin as well as the flc itself. Good catch. I'll convert the richtext plugin. Where is this plugin? An external search for *text.py finds three files, none of which looks like richtext.py. 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/da150ddf-d146-4b7f-9a69-38b4c421a719n%40googlegroups.com.