Theorem definitions are not picked up from class file about texlab

[clason]

Yes, that fixes it -- thank you very much! ❤️

[pfoerster]

Where do you have the custom document class located? If it is inside the current workspace folder, then this seems to be a bug. The following example works on my machine:

% main.tex
\documentclass{foo}

\begin{foo}\label{thm:foo}

\end{foo}

% foo.cls
\usepackage{amsthm}
\newtheorem{foo}{Foo}

Otherwise, this might be related to #100. At the moment, we are not keeping track of theorem environments defined by external packages and classes. However, this should be fixed, once #100 is ready.

[clason]

This class file is in the current directory, but it might be shadowed by the same file in my TEXMFHOME, so this might indeed be a consequence of #100.

EDIT: No, removing that file from TEXMFHOME makes no difference. I'll test your minimal example and try to reduce mine.

[clason]

Hmm, might indeed be a bug; my class file is apparently only added to the project tree when I open it in the editor. (Your example works, though.)

[pfoerster]

Does it work if you open the class file before calling peek definition? If so, then I have found the problem. It should be fairly easy to fix.

[clason]

Yes, exactly.

[clason]

I've pared my example down to the following:

%test.tex
\documentclass{test}

\begin{document}

\begin{lemma} \label{lemma}
    A lemma.
\end{lemma}

\end{document}

%test.cls
\newtheorem{lemma}{Lemma}

I don't really see a difference to yours, though...

[pfoerster]

Can you try 02022cf, please?