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

Previous Next

Full log

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

From: Ikumi Keita <ikumi <at> ikumi.que.jp>
To: jfbu <jfbu <at> free.fr>
Cc: 35284 <at> debbugs.gnu.org
Subject: Re: bug#35284: 12.1.1; new verbatim environment wrongly commented out
Date: Tue, 16 Apr 2019 21:47:19 +0900

[Message part 1 (text/plain, inline)]

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.

Regards,
Ikumi Keita

[patch-insert-environment (text/x-diff, attachment)]

Previous Next

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