Custom Query (361 matches)
Results (1 - 3 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#317 | upstream | Report emacs bug: overlapping visibility properties | ||
Description |
Invisibility properties overlap in a perhaps unintuitive way. Partial example in etc/emacs-bugs/visibility-attempt.el. See #310. |
|||
#318 | upstream | Report emacs bug: segfault with use of display property/font-lock | ||
Description |
Test case: turn on Unicode Tokens for Isabelle. Open a theory file and go to the end of the buffer. Type Need to isolate and/or get a backtrace to report a bug. |
|||
#338 | upstream | Report Emacs bug: subscript and superscripts don't work with native Mac OS Emacsen | ||
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. |
Note: See TracQuery
for help on using queries.