On Fri, Sep 16, 2022 at 9:30 PM Paul A. Rubin <parubi...@gmail.com> wrote: > > On 9/15/22 20:24, Udicoudco wrote: > > While trying to solve this issue, I also realised that if a user would > > use a bilingual document, with theorems used in two languages, he will > > only see the labels (in the list of theorems) of the language at which > > the list of theorems will be written. > > > > I believe I was able to solve both bugs, the new module file is attached. > > > > Regards, > > Udi > > > Udi, > > Thanks for the detailed explanation. I tested the new module file, and > it seems to fix the issue of what happens if you delete all instances of > one species of environment and then recompile. While testing the other > issue (list of theorems when there are none), I encountered a new pathology. > > Start with an empty document, add your module, insert a list of theorems > (and nothing else) and compile. An error occurs. The same error happens > if I start with one or more theorem type environments present, compile > (which works), then delete them and recompile (which bombs).
Hi Paul, I fixed this bug in the attached module file. > I was also wondering whether the menu item to insert a list of theorems > could be added to the Insert > List / TOC menu via a tweak to the layout > file. I suspect this is possible, but one of the developers more > familiar with layouts than I am might have to weigh in with the details. > It's the first place I would look when trying to insert a list of theorems. To my knowledge, Modules can only add layouts to specific menus, depending on the layout type. I think that to add the list of theorems to the List / ToC menu, we have to change a file in the ui folder, called stdmenus.inc. If you recall any module file that add an inset into the List / ToC menu, I could read it's file and maybe infer how to do that. > -- > lyx-devel mailing list > lyx-devel@lists.lyx.org > http://lists.lyx.org/mailman/listinfo/lyx-devel
theorems-thmtools.module
Description: Binary data
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
