Results (1 - 9 of 9)
- #409: defect: Problem with wide unicode characters in emacs 23.3 (closed: upstream)
- 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 ...
- By Jun 7, 2011, 3:57:53 PM —
- #405: defect: Report Emacs bug: Quail input breaks delete-char behaviour (closed: upstream)
- Step 1: In a theory file buffer, type a character like "-" or ".", which is an initial character in a Unicode shortcut sequence. The character displays with an underline, indicating this. Step 2: Press "delete", intending to delete the ...
- By May 20, 2011, 3:20:00 PM —
- #381: task: Report Emacs bug/issue: slow process filter behaviour on non-Linux ... (closed: wontfix)
- See #324.
- By Jan 12, 2011, 2:45:18 PM —
- #350: task: Report Emacs bug (was: Unicode tokens "Reveal Control/Symbol Tokens" ... (closed: duplicate)
- Test case: process a buffer, hide some proofs/comments containing Unicode tokens (should see ellipsis character). Enable "Reveal Tokens" and the text shown is nonsense, you see the tokens from the invisible region in order! This is arg ...
- By Sep 8, 2010, 1:53:31 PM —
- #338: defect: Report Emacs bug: subscript and superscripts don't work with native ... (closed: upstream)
- 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.
- By Aug 19, 2010, 10:39:39 AM —
- #318: task: Report emacs bug: segfault with use of display property/font-lock (closed: upstream)
- Test case: turn on Unicode Tokens for Isabelle. Open a theory file and go to the end of the buffer. Type `\<module>`. Emacs 23 segfaults. Need to isolate and/or get a backtrace to report a bug.
- By Dec 4, 2009, 9:50:43 AM —
- #317: task: Report emacs bug: overlapping visibility properties (closed: upstream)
- Invisibility properties overlap in a perhaps unintuitive way. Partial example in etc/emacs-bugs/visibility-attempt.el. See #310.
- By Dec 4, 2009, 9:48:27 AM —
- #308: defect: Emacs 23 slow -- especially on Cygwin (closed: wontfix)
- My general impression when using PG 3.7.1 or 4.0 with Emacs 23 is that is a bit slow. On Linux this is somehow bearable, but on Cygwin 1.7 it renders PG almost unusable. Since there is no Emacs 22 on Cygwin 1.7 or 1.5 (which are the curr ...
- By Nov 25, 2009, 11:55:09 PM —
- #276: task: Unicode tokens: resolve font-lock issues, optimise (accepted)
- Unicode tokens interacts closely with font lock but there was a problem with merging property lists for the 'face property that prevented expected behaviour with merged face attributes: {{{ ;; good, desirable property value for 'face ...
- By Aug 28, 2009, 12:13:20 PM —
Note: See TracSearch
for help on searching.