[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#61400: Different filling for verbatim macros
From: |
Ikumi Keita |
Subject: |
bug#61400: Different filling for verbatim macros |
Date: |
Thu, 16 Feb 2023 17:55:32 +0900 |
Hi Arash,
>>>>> Arash Esbati <arash@gnu.org> writes:
> What I don't understand it why the code does:
> (when (string= delimiter TeX-grop)
> (setq delimiter (concat delimiter TeX-grcl)))
> which is "^{}"; I would have expected "^}" only because using \verb{foo{
> is just asking for trouble and not officially supported IIRC.
That's what I was wondering too.
> Even with delimiter being "^}", this form:
> (skip-chars-forward (concat "^" delimiter))
> means stop before the first "}" which is not far enough in case we have
> balanced braces in the argument (and only such are allowed). So I
> suggest we change this part of the code like this:
[...]
> Then we only need to solve the fontification issue ;-) WDYT?
Thanks, I included your suggestion. See the attachment.
Regards,
Ikumi Keita
#StandWithUkraine #StopWarInUkraine
0001-Fill-verb-like-macros-appropriately-bug-61400.patch
Description: revised patch
- bug#61400: Different filling for verbatim macros, (continued)
- bug#61400: Different filling for verbatim macros, Arash Esbati, 2023/02/12
- bug#61400: Different filling for verbatim macros, Ikumi Keita, 2023/02/12
- bug#61400: Different filling for verbatim macros, Ikumi Keita, 2023/02/13
- bug#61400: Different filling for verbatim macros, Arash Esbati, 2023/02/13
- bug#61400: Different filling for verbatim macros, Ikumi Keita, 2023/02/14
- bug#61400: Different filling for verbatim macros, Arash Esbati, 2023/02/14
- bug#61400: Different filling for verbatim macros, Ikumi Keita, 2023/02/15
- bug#61400: Different filling for verbatim macros, Arash Esbati, 2023/02/15
- bug#61400: Different filling for verbatim macros, Ikumi Keita, 2023/02/15
- bug#61400: Different filling for verbatim macros, Arash Esbati, 2023/02/15
- bug#61400: Different filling for verbatim macros,
Ikumi Keita <=
- bug#61400: Different filling for verbatim macros, Arash Esbati, 2023/02/16
- bug#61400: Different filling for verbatim macros, Ikumi Keita, 2023/02/16
- bug#61400: Different filling for verbatim macros, Arash Esbati, 2023/02/16