linter: even with a definiens, constants in a structure turn up as missing assignments - Githubissues

slatex / sTeX

A semantic Extension of TeX/LaTeX

49 stars 9 forks source link

linter: even with a definiens, constants in a structure turn up as missing assignments #369

Open kohlhase opened 1 year ago

kohlhase commented 1 year ago

Screenshot 2022-10-04 at 16 33 58

seems that the linter does not pick up on them