jed-users mailing list

[2026 Date Index] [2026 Thread Index] [Other years]
[Thread Prev] [Thread Next]      [Date Prev] [Date Next]

Re: [jed-users] How to insert \" in local_setkey


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]