A few more pieces on the puzzle of the dead keys

 1) Does not depend on the linux distribution, Flavio de Melo in his mail
wrote that he has Ubuntu 18.04 and I have Fedora 32
2) Does not depend on the desktop; in my PC i use mate but I can also use
gnome. With both desktops there is no dead keys at all.
3) This is intriguing. Both in mate and in gnome when I save a file with a
new name, the dead keys work perfectly on the name, I can use accents in
it. Perhaps there is a clue in the difference between both calls.

That's all for the moment. Regards

Jorge
-- 
lyx-users mailing list
lyx-users@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-users

Reply via email to