jkn@tower:~/leo-editor$ find . -iname "*rich*" ./leo/plugins/richtext.py
on my system... On Friday, May 24, 2024 at 11:42:49 AM UTC+1 Edward K. Ream wrote: > 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/1b91d17a-6bdd-4fd6-8f36-7a84ade8cc0an%40googlegroups.com.