This PR has been merged into the *devel *branch, if you need it before the 
next general release of Leo.

On Monday, May 13, 2024 at 4:06:29 PM UTC-4 Thomas Passin 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.  I haven't tested it including all the body text.  But I think 
> it should work as it did before.
>
> As for that *Properties* submenu in the Plugins menu, that's not going to 
> work until someone is able to put in a lot of work to make it function in 
> Qt (it's a holdover from the Tk  Gui days, apparently).  But you can still 
> set those properties by hand in the .ini file *leo-to-html.ini*, as before
> *.*
>
> 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.
>
> On Monday, May 13, 2024 at 1:21:21 PM UTC-4 Thomas Passin wrote:
>
>> I don't know why it's not working, but I do know why the submenus aren't 
>> appearing.  It's because the plugin is trying to add its own menus under 
>> the *File/Export...* menu.  But that's been renamed and is now *File/Export 
>> Files*.  The plugin code will have to change to match that name.  Even 
>> better would be for the plugin to insert its own menu item with its 
>> submenus.  Then it won't fail the next time there's a menu name change.
>>
>> What is the latest release where you know it worked?
>>
>>
>> On Monday, May 13, 2024 at 12:35:09 PM UTC-4 chr...@gmail.com wrote:
>>
>> *...and it's a major-urgent-pain-in-the-neck for me!*
>>
>> - None of the plugin submenus appear in the File > Export Files... menu
>> - The plugin is correctly enabled in myLeoSettings.leo
>> - There is no "@bool leo_to_html_no_menus = True" anywhere
>>
>>

-- 
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/6cc8cb81-30fb-4976-b03d-1e862d8fc7d2n%40googlegroups.com.

Reply via email to