On Friday, May 24, 2024 at 6:29:43 AM UTC-5 Edward K. Ream wrote: On Fri, May 24, 2024 at 5:59 AM jkn wrote:
jkn@tower:~/leo-editor$ find . -iname "*rich*" ./leo/plugins/richtext.py How strange. Please send me the file. Mystery partly solved. gitk reports that I deleted that file at rev cf89a85 on March 23 of this year. I probably deleted the file because it won't work with Qt6. The plugin uses QtWebKit. On March 25 the GitHub version of Leo started requiring PyQt6, so nobody has used this plugin with the GitHub version of Leo. #3930 <https://github.com/leo-editor/leo-editor/issues/3930> suggests reinstating and porting the plugin so it works on Qt6. I shall reinstate plugin, but I am not willing to fix it. Does anyone want to volunteer? 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/d2eaf8ed-f16b-4877-987f-70edc8d6e4den%40googlegroups.com.