- Subject: Re: [jed-users] How to insert \" in local_setkey
- From: Martin Klaiber <martinkl@xxxxxxxxxxxxxxxxxx>
- Date: Mon, 6 Apr 2026 13:50:09 +0200
Martin Klaiber <martinkl@xxxxxxxxxxxxxxxxxx> wrote:
> Unfortunately it does not work. I tried it this way:
> local_setkey ("\\\"a", "ä");
I found a solution now:
| define my_a_umlaut ()
| {
| insert_char ('\\');
| insert_char ('\"');
| insert_char ('a');
| }
|
| define latex_mode_hook ()
| {
| ...
| local_setkey ("my_a_umlaut", "ä");
| }
Not elegant, but it works.
I forgot to mention that I still use Latin-1 on my computer, not UTF-8.
Martin
_______________________________________________
For list information, visit <http://jedsoft.org/jed/mailinglists.html>.
[2026 date index]
[2026 thread index]
[Thread Prev] [Thread Next]
[Date Prev] [Date Next]