Warnings on unused labels are unnecessary
Brought to you by:
m_zeising
Hi,
the warning “Label abc:xyz is never used” in the Issues list is unnecessary I think. It poses no problems during compilation whatsoever. Moreover, it is very good practive to assign a label to each section, each figure, etc. This is what I always do, i.e., I add a label to everything like
\section{Blah blah blah}\label{sec:results1}
because then I can refer to it at any time. Not using this label is no problem at all.
Now the issue list is cluttered with this label even though I will refer to it only later like: “as we saw back in section~\ref{sec:results1}”
Also I think we can save some time, by not computing this.
This is also true for the highlight. There's no need to highlight those things as warnings.