Opened 10 years ago

Closed 9 years ago

#338 closed defect (upstream)

Report Emacs bug: subscript and superscripts don't work with native Mac OS Emacsen

Reported by: David Aspinall Owned by: David Aspinall
Priority: major Milestone: PG-Emacs-4.1
Component: 2:pg-emacs Keywords: emacsbug
Cc:

Description

See discussion in #280.

This is not a fault of Proof General but of the display engine in the Mac Carbon/NeXTSTEP ports.

Leaving this here as an open issue to follow up by pursuing an upstream bug report.

Change History (4)

comment:1 Changed 10 years ago by David Aspinall

Status: newaccepted

comment:2 Changed 10 years ago by David Aspinall

Keywords: emacsbug added

comment:3 Changed 10 years ago by David Aspinall

Summary: Unicode Tokens: subscript and superscripts don't work with native Mac OS EmacsenReport Emacs bug: subscript and superscripts don't work with native Mac OS Emacsen

comment:4 Changed 9 years ago by David Aspinall

Resolution: upstream
Status: acceptedclosed

See http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8913. Has a patch proposed already!

Note: See TracTickets for help on using tickets.