GNU bug report logs - #57626
13.1.4; cases* environment doesn't let me use $

Previous Next

Package: auctex;

Reported by: Wierdl Máté <wierdlmate <at> gmail.com>

Date: Tue, 6 Sep 2022 14:55:03 UTC

Severity: normal

Found in version 13.1.4

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

Bug is archived. No further changes may be made.

Full log


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

From: Arash Esbati <arash <at> gnu.org>
To: Ikumi Keita <ikumi <at> ikumi.que.jp>
Cc: 57626 <at> debbugs.gnu.org,
 Wierdl Máté <wierdlmate <at> gmail.com>
Subject: Re: bug#57626: 13.1.4; cases* environment doesn't let me use $
Date: Sat, 10 Sep 2022 09:41:30 +0200
Hi Keita,

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

>>>>>> Arash Esbati <arash <at> gnu.org> writes:
>> You mean in case a user says: "Dammit AUCTeX, I know what I'm doing,
>> insert what I type!"
>
> Rather, "What happened? Not sure, but I type $ again in case I actually
> did something wrong instead of typing $ correctly." ;-)

That seems to be a different user from the one I meant ;-)

>> Regardless of this, I think adding the cases entries above to
>> `texmathp-tex-commands-default' would make sense and cures the issue at
>> hand.  WDYT?
>
> I'm reluctant to take this approach. If `texmathp' regards the first
> column of those envs as non-math, it invalidates math-mode aware
> features such as automatic switching between \mathrm and \textrm for C-c
> C-f C-r, providing {}-pair for "_" and "^" with non-nil
> `TeX-electric-sub-and-superscript'.

Yes, one side of the cases will suffer.

> Then, how about adding supplementary instruction to the message which
> `TeX-insert-dollar' shows? For example,
> Math mode started with `...' cannot be closed with dollar.  You can
> insert it anyway by C-q $.

I'd suggest to say "You can insert it anyway by C-u $" which is more in
line with the docstring of `TeX-insert-dollar'.  Does it make sense?

Best, Arash




This bug report was last modified 2 years and 203 days ago.

Previous Next


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