[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Shortcut for \repeat unfold
From: |
Werner LEMBERG |
Subject: |
Re: Shortcut for \repeat unfold |
Date: |
Sun, 26 Sep 2021 04:49:07 +0000 (UTC) |
>>> The idea here is different, it is for identifiers, and in the
>>> input syntax only, does not change the internal semantics at all.
>>> It is good not having to type backslash when a command is used.
>>
>> Really? I highly doubt that. In particular, what about lyrics
>> mode?
>
> The idea would be to change the file lexer.ll by adding U and
> UCOMMAND:
>
> A [a-zA-Z\200-\377]
> U [\200-\377]
> AA {A}|_
> N [0-9]
> ANY_CHAR (.|\n)
> SYMBOL {A}([-_]{A}|{A})*
> COMMAND \\{SYMBOL}
> UCOMMAND {U}{SYMBOL}
>
> Then in select places, that is context switches, add {UCOMMAND}:
> {COMMAND} {
> return scan_escaped_word (YYText_utf8 () + 1);
> }
> {UCOMMAND} {
> return scan_escaped_word (YYText_utf8 ());
> }
You might provide a MR, maybe it gets accepted. I still doubt that it
would be a good idea.
Werner
- Re: Shortcut for \repeat unfold, (continued)
- Re: Shortcut for \repeat unfold, Lukas-Fabian Moser, 2021/09/25
- Re: Shortcut for \repeat unfold, anthony, 2021/09/25
- Re: Shortcut for \repeat unfold, Lukas-Fabian Moser, 2021/09/25
- Re: Shortcut for \repeat unfold, Dan Eble, 2021/09/25
- Re: Shortcut for \repeat unfold, Lukas-Fabian Moser, 2021/09/25
- Re: Shortcut for \repeat unfold, Hans Åberg, 2021/09/25
- Re: Shortcut for \repeat unfold, Werner LEMBERG, 2021/09/25
- Re: Shortcut for \repeat unfold, Hans Åberg, 2021/09/25
- Re: Shortcut for \repeat unfold, Werner LEMBERG, 2021/09/25
- Re: Shortcut for \repeat unfold, Hans Åberg, 2021/09/25
- Re: Shortcut for \repeat unfold,
Werner LEMBERG <=
- Re: Shortcut for \repeat unfold, Hans Åberg, 2021/09/26
- Re: Shortcut for \repeat unfold, Jean Abou Samra, 2021/09/26
- Re: Shortcut for \repeat unfold, Hans Åberg, 2021/09/26
- Re: Shortcut for \repeat unfold, David Kastrup, 2021/09/25
- Re: Shortcut for \repeat unfold, Dan Eble, 2021/09/25
- Re: Shortcut for \repeat unfold, David Kastrup, 2021/09/25
- Re: Shortcut for \repeat unfold, Dan Eble, 2021/09/25
- Re: Shortcut for \repeat unfold, David Kastrup, 2021/09/25
- Re: Shortcut for \repeat unfold, Jean Abou Samra, 2021/09/27
- Re: Shortcut for \repeat unfold, David Kastrup, 2021/09/27