search

slatex / sTeX-IDE

GNU General Public License v3.0
0 stars 0 forks source link

linter inheritance problem #18

Open kohlhase opened 2 years ago

kohlhase commented 2 years ago

A lot of the current problems reported by the IDE seem to be based on the linter failing to find certain modules/structures.

In smglom/algebra/source/mod/normal-subgroup.en.tex I get the situation below:

Screenshot 2022-09-29 at 08 14 44

But group is included (via subgroup) and pdflatex reports on problems on normal-subgroup.en.tex.

Jazzpirate commented 2 years ago

cannot reproduce - the file works fine for me?

kohlhase commented 2 years ago

Ah, there is a new MMT push, maybe that fixes it.