[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#35140: 12.1; Scan errors in doctex mode with ^^A-comments after brac
From: |
Arash Esbati |
Subject: |
bug#35140: 12.1; Scan errors in doctex mode with ^^A-comments after braces |
Date: |
Thu, 03 Mar 2022 09:22:51 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 |
Stefan Monnier <monnier@iro.umontreal.ca> writes:
> I'm not sufficiently informed about DocTeX to know what's the right
> thing to do here. Changing the code so it only changes the face but
> without messing with syntax tables would definitely be simpler.
Thanks for your comment. I'm not sure if you want to change this in
tex-mode.el as well, but the current code of
`doctex-syntax-propertize-rules' should be changed like this:
--8<---------------cut here---------------start------------->8---
diff --git a/lisp/textmodes/tex-mode.el b/lisp/textmodes/tex-mode.el
index ab94036d01..d43eb5f4cc 100644
--- a/lisp/textmodes/tex-mode.el
+++ b/lisp/textmodes/tex-mode.el
@@ -3019,7 +3019,7 @@ doctex-font-lock-syntactic-face-function
(syntax-propertize-precompile-rules
latex-syntax-propertize-rules
;; For DocTeX comment-in-doc.
- ("\\(\\^\\)\\^A" (1 (doctex-font-lock-^^A))))))
+ ("\\(\\^\\)\\^[AX]" (1 (doctex-font-lock-^^A))))))
(defvar doctex-font-lock-keywords
(append tex-font-lock-keywords
--8<---------------cut here---------------end--------------->8---
^^X is also a comment starter beginning with doc.sty v3 (which will be
part of next LaTeX release).
Best, Arash
- bug#35140: 12.1; Scan errors in doctex mode with ^^A-comments after braces, (continued)
- bug#35140: 12.1; Scan errors in doctex mode with ^^A-comments after braces, Ikumi Keita, 2022/03/01
- bug#35140: 12.1; Scan errors in doctex mode with ^^A-comments after braces, Stefan Monnier, 2022/03/02
- bug#35140: 12.1; Scan errors in doctex mode with ^^A-comments after braces, Ikumi Keita, 2022/03/02
- bug#35140: 12.1; Scan errors in doctex mode with ^^A-comments after braces, Stefan Monnier, 2022/03/02
- bug#35140: 12.1; Scan errors in doctex mode with ^^A-comments after braces, Tassilo Horn, 2022/03/02
- bug#35140: 12.1; Scan errors in doctex mode with ^^A-comments after braces, Arash Esbati, 2022/03/03
- bug#35140: 12.1; Scan errors in doctex mode with ^^A-comments after braces, Tassilo Horn, 2022/03/03
- bug#35140: 12.1; Scan errors in doctex mode with ^^A-comments after braces, Ikumi Keita, 2022/03/03
- bug#35140: 12.1; Scan errors in doctex mode with ^^A-comments after braces, Ikumi Keita, 2022/03/05
- bug#35140: 12.1; Scan errors in doctex mode with ^^A-comments after braces,
Arash Esbati <=