#940 LanguageTool: % after period causes "DE_DOUBLE_PUNCTUATION"

[sirixlancelot]

Example:

This is some text. % some comment

or

This is some text. 
% some comment

In both cases, the period and the following space are marked as error. In the first case, the percent sign is highlighted as well.

It complains about double punctuation (DE_DOUBLE_PUNCTUATION).

[Benito van der Zander]

Does not happen here

Is there something after the comment?

[sirixlancelot]

Ah, in fact there is:

This is some text. %
%
\begin{figure}
\includegraphics{foo_image}
\slcaption{This is foo}{. It is a generalization of bar.}
\end{figure}%

with a custom command

\newcommand{\slcaption}[2]{\caption[#1]{#1#2}} % short/long caption

to avoid text duplication for \caption commands. It seems to be stumble over the leading period in the second argument.

So, maybe this is related to [#911] and thus, probably already resolved. (IIRC, you modified the grammar check to account for floats in some way)

[sirixlancelot]

Found another example without custom command, however, without '%' sign either:

This is foo. 
\subsection{Bar section}

This causes DE_DOUBLE_PUNCTUATION on the period.