Yes, once you find the leo-to-html.py file, download it and then copy into your Python install's *site-packages/leo/plugins* directory.
To find that location, open a terminal or console and run py -m pip show leo NOTE - use the actual command that you use to run Python if it's not "py". The response will include a line that tells you where the right *site-packages* directory is. On my system it's Location: C:\Users\tom\AppData\Roaming\Python\Python312\site-packages Here's a step-by-step now that's in the main Leo-Editor repository. First, navigate to the top of the repo <https://github.com/leo-editor/leo-editor>. Select the *Code* tab if it's not selected. Then select the *devel* branch in the branch selector box, near the upper left. Then navigate to *leo/plugins* page and scroll down until you find the link to our file, *leo-html.py*. Click that link. In that page, the one for our file, notice near the upper right that there is a box labeled "Raw". There is a download icon next to it. Click that to download our file. Please post about any apparent bugs you find - I haven't given this fix much of a workout. I hoped to get you running as quickly as possible since you sounded as if you depend a lot on the plugin. On Monday, May 13, 2024 at 5:48:26 PM UTC-4 chr...@gmail.com wrote: > On Monday, May 13, 2024 at 8:06:29 PM UTC tbp1...@gmail.com wrote: > > I have created a pull request, 3907 > <https://github.com/leo-editor/leo-editor/pull/3907>, that gets this > plugin working again. At least, it works when outputting just the > headlines. > > If anyone wants to try it out before the PR gets merged into the devel > branch, you can follow the link in the Github PR page to my repository and > get the file there. > > > Thanks Thomas, I half understand "Github PR page to my repository"... is > the name of the file LEO-TO-HTML.? and do I replace the same file in my > installation? > -- 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/989d1ab0-f46a-4925-8889-346e54d4a7abn%40googlegroups.com.