New Theorems Module

[Udicoudco]

On Fri, Sep 16, 2022 at 9:30 PM Paul A. Rubin <parubin73 at 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 at lists.lyx.org
> http://lists.lyx.org/mailman/listinfo/lyx-devel
-------------- next part --------------
A non-text attachment was scrubbed...
Name: theorems-thmtools.module
Type: application/octet-stream
Size: 22435 bytes
Desc: not available
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20220917/8e0ccee9/attachment-0001.obj>