Received: (at 25447) by debbugs.gnu.org; 14 Jan 2017 12:55:15 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sat Jan 14 07:55:15 2017 Received: from localhost ([127.0.0.1]:53403 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1cSNrX-0002CU-CW for submit <at> debbugs.gnu.org; Sat, 14 Jan 2017 07:55:15 -0500 Received: from smtp3.tech.numericable.fr ([82.216.111.39]:41458) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jfbu@HIDDEN>) id 1cSNrV-0002CM-Rm for 25447 <at> debbugs.gnu.org; Sat, 14 Jan 2017 07:55:14 -0500 Received: from [192.168.0.10] (234.115.8.109.rev.sfr.net [109.8.115.234]) by smtp3.tech.numericable.fr (Postfix) with ESMTPS id B91F218A7DC; Sat, 14 Jan 2017 13:55:10 +0100 (CET) Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) Subject: Re: bug#25447: 11.90.0; alltt environment should allow being extended in wrapper From: jfbu <jfbu@HIDDEN> In-Reply-To: <CAKtYQqQeuDE-GjsWXEXJLdAmx4jPMPHV-hO4VsneV+bshz4s8A@HIDDEN> Date: Sat, 14 Jan 2017 13:55:09 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: <40C2C746-FFFD-461F-BAE3-8A679F2ADC21@HIDDEN> References: <44DACC22-59CE-4D6F-878D-8B0B5A5B15ED@HIDDEN> <CAKtYQqQeuDE-GjsWXEXJLdAmx4jPMPHV-hO4VsneV+bshz4s8A@HIDDEN> To: =?iso-8859-1?Q?Mos=E8_Giordano?= <mose@HIDDEN> X-Mailer: Apple Mail (2.1878.6) X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: -100 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeelgedrfeefgddukedtucetufdoteggodetrfdotffvucfrrhhofhhilhgvmecupfgfoffgtffkveetuefngfdpqfgfvfenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmnecujfgurheptggguffhjgffgffkfhfvofesthhqmhdthhdtudenucfhrhhomhepjhhfsghuuceojhhfsghusehfrhgvvgdrfhhrqeenucfrrghrrghmpehmohguvgepshhmthhpohhuth X-Spam-Score: -1.9 (-) X-Debbugs-Envelope-To: 25447 Cc: 25447 <at> debbugs.gnu.org X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.9 (-) Hi Mos=E8 Le 14 janv. 2017 =E0 11:49, Mos=E8 Giordano <mose@HIDDEN> a =E9crit : > Hi Jean-Fran=E7ois, >=20 > 2017-01-14 11:41 GMT+01:00 jfbu <jfbu@HIDDEN>: >> Hi, >>=20 >> \newenvironment{myalltt} >> {\begin{alltt}% >> \IamAllowedToDefineWrapperOfAllTT >> \ButFontificationByAucTeXIsProblematic >> } >> {\end{alltt}} >>=20 >> causes fontification problem. I can use \alltt and \endalltt >> but this forces me to change TeX code for this issue. >>=20 >> (alltt is not implemented like standard verbatim, the latter >> would indeed not allow the above kind of redefinition) >=20 > This is not limited to "alltt" but to any verbatim-like environment. > Possible workaround >=20 > --8<---------------cut here---------------start------------->8--- > \newenvironment{myalltt} > {% > \begin{alltt}% > ... > } > {\end{alltt}} > --8<---------------cut here---------------end--------------->8--- >=20 > Bye, > Mos=E8 Thanks for the workaround. In the meantime I had used=20 {\end{alltt}}% \end{alltt} but yours has even less fontification (only opening brace) Bye, Jean-Fran=E7ois
bug-auctex@HIDDEN
:bug#25447
; Package auctex
.
Full text available.Received: (at 25447) by debbugs.gnu.org; 14 Jan 2017 10:50:21 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sat Jan 14 05:50:21 2017 Received: from localhost ([127.0.0.1]:53378 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1cSLuf-00067H-Ai for submit <at> debbugs.gnu.org; Sat, 14 Jan 2017 05:50:21 -0500 Received: from eggs.gnu.org ([208.118.235.92]:42560) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <mose@HIDDEN>) id 1cSLue-000676-CY for 25447 <at> debbugs.gnu.org; Sat, 14 Jan 2017 05:50:20 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from <mose@HIDDEN>) id 1cSLuW-0008Rd-0n for 25447 <at> debbugs.gnu.org; Sat, 14 Jan 2017 05:50:15 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_50, RCVD_IN_SORBS_SPAM, RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:54034) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <mose@HIDDEN>) id 1cSLuV-0008RS-UJ for 25447 <at> debbugs.gnu.org; Sat, 14 Jan 2017 05:50:11 -0500 Received: from mail-wm0-f52.google.com ([74.125.82.52]:34995) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128) (Exim 4.82) (envelope-from <mose@HIDDEN>) id 1cSLuV-0002Pa-Bg for 25447 <at> debbugs.gnu.org; Sat, 14 Jan 2017 05:50:11 -0500 Received: by mail-wm0-f52.google.com with SMTP id r126so97428300wmr.0 for <25447 <at> debbugs.gnu.org>; Sat, 14 Jan 2017 02:50:11 -0800 (PST) X-Gm-Message-State: AIkVDXIG8T9Qousb3xPMYO94PgRX3GdYI18vS5+UrvwipLthZlNNMvra9rMyHA3bUpBH4426SGY5Ipii7g9Xhw== X-Received: by 10.223.168.87 with SMTP id l81mr15420910wrc.194.1484391010142; Sat, 14 Jan 2017 02:50:10 -0800 (PST) MIME-Version: 1.0 Received: by 10.194.198.206 with HTTP; Sat, 14 Jan 2017 02:49:29 -0800 (PST) In-Reply-To: <44DACC22-59CE-4D6F-878D-8B0B5A5B15ED@HIDDEN> References: <44DACC22-59CE-4D6F-878D-8B0B5A5B15ED@HIDDEN> From: =?UTF-8?Q?Mos=C3=A8_Giordano?= <mose@HIDDEN> Date: Sat, 14 Jan 2017 11:49:29 +0100 X-Gmail-Original-Message-ID: <CAKtYQqQeuDE-GjsWXEXJLdAmx4jPMPHV-hO4VsneV+bshz4s8A@HIDDEN> Message-ID: <CAKtYQqQeuDE-GjsWXEXJLdAmx4jPMPHV-hO4VsneV+bshz4s8A@HIDDEN> Subject: Re: bug#25447: 11.90.0; alltt environment should allow being extended in wrapper To: jfbu <jfbu@HIDDEN> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -7.7 (-------) X-Debbugs-Envelope-To: 25447 Cc: 25447 <at> debbugs.gnu.org X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -7.7 (-------) Hi Jean-Fran=C3=A7ois, 2017-01-14 11:41 GMT+01:00 jfbu <jfbu@HIDDEN>: > Hi, > > \newenvironment{myalltt} > {\begin{alltt}% > \IamAllowedToDefineWrapperOfAllTT > \ButFontificationByAucTeXIsProblematic > } > {\end{alltt}} > > causes fontification problem. I can use \alltt and \endalltt > but this forces me to change TeX code for this issue. > > (alltt is not implemented like standard verbatim, the latter > would indeed not allow the above kind of redefinition) This is not limited to "alltt" but to any verbatim-like environment. Possible workaround --8<---------------cut here---------------start------------->8--- \newenvironment{myalltt} {% \begin{alltt}% ... } {\end{alltt}} --8<---------------cut here---------------end--------------->8--- Bye, Mos=C3=A8
bug-auctex@HIDDEN
:bug#25447
; Package auctex
.
Full text available.Received: (at submit) by debbugs.gnu.org; 14 Jan 2017 10:41:41 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sat Jan 14 05:41:41 2017 Received: from localhost ([127.0.0.1]:53373 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1cSLmH-0005um-Dk for submit <at> debbugs.gnu.org; Sat, 14 Jan 2017 05:41:41 -0500 Received: from eggs.gnu.org ([208.118.235.92]:41234) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <jfbu@HIDDEN>) id 1cSLmF-0005uZ-PK for submit <at> debbugs.gnu.org; Sat, 14 Jan 2017 05:41:40 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from <jfbu@HIDDEN>) id 1cSLm9-0005rP-RU for submit <at> debbugs.gnu.org; Sat, 14 Jan 2017 05:41:34 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,FREEMAIL_FROM autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:34798) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from <jfbu@HIDDEN>) id 1cSLm9-0005rJ-OW for submit <at> debbugs.gnu.org; Sat, 14 Jan 2017 05:41:33 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:60426) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from <jfbu@HIDDEN>) id 1cSLm8-0000xk-Ps for bug-auctex@HIDDEN; Sat, 14 Jan 2017 05:41:33 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from <jfbu@HIDDEN>) id 1cSLm5-0005qm-Na for bug-auctex@HIDDEN; Sat, 14 Jan 2017 05:41:32 -0500 Received: from smtp1.tech.numericable.fr ([82.216.111.37]:36126) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from <jfbu@HIDDEN>) id 1cSLm5-0005qP-H5 for bug-auctex@HIDDEN; Sat, 14 Jan 2017 05:41:29 -0500 Received: from [192.168.0.10] (234.115.8.109.rev.sfr.net [109.8.115.234]) by smtp1.tech.numericable.fr (Postfix) with ESMTPS id 8179D148E26 for <bug-auctex@HIDDEN>; Sat, 14 Jan 2017 11:41:22 +0100 (CET) From: jfbu <jfbu@HIDDEN> Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Subject: 11.90.0; alltt environment should allow being extended in wrapper Message-Id: <44DACC22-59CE-4D6F-878D-8B0B5A5B15ED@HIDDEN> Date: Sat, 14 Jan 2017 11:41:22 +0100 To: bug-auctex@HIDDEN Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) X-Mailer: Apple Mail (2.1878.6) X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 0 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeelgedrfeefgdduhedvucetufdoteggodetrfdotffvucfrrhhofhhilhgvmecupfgfoffgtffkveetuefngfdpqfgfvfenuceurghilhhouhhtmecufedttdenucenucfjughrpefhtgfguffkfffvggfosehtqhhmtdhhtddunecuhfhrohhmpehjfhgsuhcuoehjfhgsuhesfhhrvggvrdhfrheqnecurfgrrhgrmhepmhhouggvpehsmhhtphhouhht X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [fuzzy] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -5.0 (-----) Hi, \newenvironment{myalltt} {\begin{alltt}% \IamAllowedToDefineWrapperOfAllTT \ButFontificationByAucTeXIsProblematic } {\end{alltt}} causes fontification problem. I can use \alltt and \endalltt but this forces me to change TeX code for this issue. (alltt is not implemented like standard verbatim, the latter would indeed not allow the above kind of redefinition) Best, Jean-Fran=E7ois=
jfbu <jfbu@HIDDEN>
:bug-auctex@HIDDEN
.
Full text available.bug-auctex@HIDDEN
:bug#25447
; Package auctex
.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.