GNU bug report logs - #35284
12.1.1; new verbatim environment wrongly commented out

Previous Next

Package: auctex;

Reported by: jfbu <jfbu <at> free.fr>

Date: Mon, 15 Apr 2019 09:12:02 UTC

Severity: normal

Tags: fixed

Found in version 12.1.1

Done: Ikumi Keita <ikumi <at> ikumi.que.jp>

Bug is archived. No further changes may be made.

Full log


Message #17 received at 35284 <at> debbugs.gnu.org (full text, mbox):

From: JF <jfbu <at> free.fr>
To: Ikumi Keita <ikumi <at> ikumi.que.jp>
Cc: 35284 <at> debbugs.gnu.org
Subject: Re: bug#35284: 12.1.1; new verbatim environment wrongly commented out
Date: Tue, 16 Apr 2019 14:56:46 +0200
Hi Keita,

Le 16/04/2019 à 14:47, Ikumi Keita a écrit :
> Hi Jean,
>
>>>>>> jfbu <jfbu <at> free.fr> writes:
>> But isn't there a bug even for the use case one wants the verbatim to
>> be inserted inside the comment?
>> (which wasn't my case)
>> Look at commented out last line, and at the added blank line.
>> \documentclass{article}
>> \begin{document}
>> % \begin{verbatim}
>> % This is a comment
>> \def\foo#1{foo}
>> % another comment
>> % \end{verbatim}
>> % \end{document}
> Thanks for your comments.  I agree that the current behavior is not
> totally satisfactory, and expect the attatched patch would crudely
> resolve this particular issue.  However, the relevant codes must be
> involved in a lot, lot of different cases, so it might not be valid for
> some other cases.  I'm not sure currently.

I have added the patch to my current auctex 12.1.1 and it does improve the situation.
as it produces

\begin{document}
% \begin{verbatim}
% This is a comment
\def\foo#1{foo}
% another comment
% \end{verbatim}
%
\end{document}

which avoids a blank line insertion and does not comment out the next line
(which here is the \end{document} one)

Best,

Jean-François

> Regards,
> Ikumi Keita
>





This bug report was last modified 5 years and 200 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.