emacs-gtk 29.3 missing leim input support: breaks Lean 4 inp

Stream: Emacs

[Evan Misshula]

I filed a bug this morning for those of us who use lean4 on Ubuntu. I did not want to spam everybody but I thought some on this channel might be interested as to why subscripts are not working. The launchpad bug number is 2116104

[Mauricio Collares]

https://bugs.launchpad.net/ubuntu/+source/emacs/+bug/2116104

[Malvin Gattinger]

Ah, that seems annoying. I do not know about Ubuntu but on Debian it is easy to get a newer emacs-gtk (currently 30.1+1-5~bpo12+1) from the backports repository. Maybe there is something similar for Ubuntu.

[Evan Misshula]

Great suggestion. There a couple of PPA's in Ubuntu I am going to check out today. I will post results but it would be great not to have to wait for Ubuntu. Those people have much bigger fish to fry then my unicode lean4 bug. I really appreciate the comment though