Opened 9 years ago

Closed 9 years ago

Last modified 8 years ago

#409 closed defect (upstream)

Problem with wide unicode characters in emacs 23.3

Reported by: Generic Isabelle user Owned by: David Aspinall
Priority: major Milestone: PG-Emacs-4.2
Component: 2:pg-emacs Keywords: emacsbug


In Emacs23.3, when replacing tokens like \<Longrightarrow>, they are not recognized as wide characters, i.e. emacs thinks, they are still as wide as a normal character. This leads to problems, as emacs then overprints parts of the inserted character.

It does work when inserting the unicode symbol itself (i.e. not using the token-support) - so it does not look like an emacs problem per se.

Even more interesting, it also works flawlessly with emacs 23.2.

This was tested with ProofGeneral-4.1pre101216-p1 and ProofGeneral-4.1pre110601

Attachments (1)

emacs-23.3-wide-chars-fix.patch (764 bytes) - added by Generic Isabelle user 9 years ago.

Download all attachments as: .zip

Change History (6)

comment:1 Changed 9 years ago by Generic Isabelle user

Ok ... it works with emacs-23.3 under Debian but not under Gentoo. And from the patches applied to either version, I cannot see what makes the difference *sigh*

comment:2 Changed 9 years ago by Generic Isabelle user

Resolution: upstream
Status: newclosed

Ok ... this indeed seemed to be a problem with emacs. That it worked under certain circumstances was pure luck (for instance it didn't work in a fresh Debian but in a fresh Fedora ...).

Anyways: There is a commit in emacs/trunk (and emacs/emacs-23) that fixes this issue: (found via bisecting)

I'll attach the patch that can be applied to get a working Emacs-23.3 for future reference.

Changed 9 years ago by Generic Isabelle user

comment:3 Changed 9 years ago by David Aspinall

Keywords: emacsbug added

Thanks for the (impressive) investigation and recording here!

There are a few other tickets (search for keyword "emacsbug") if you can fathom the Emacs display engine C code...

comment:4 Changed 8 years ago by David Aspinall

Note: unfortunately Ubuntu 12.04 and perhaps other recent Linux versions may still include a broken Emacs (23.3), but I've noticed that simply installing STIX fonts may be a workaround anyway for this problem (the bad display seems to happen when the system lacks the right characters). On Ubuntu, simply try:

  sudo apt-get install fonts-stix

Changing the font selected to Deja Vu Sans Mono also seems to repair things, so I have reverted this to be the default font in PG 4.2 as it works out-of-the-box.

comment:5 Changed 8 years ago by David Aspinall

Milestone: PG-Emacs-4.1PG-Emacs-4.2
Note: See TracTickets for help on using tickets.